Shuji Doshita

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables Artificial Intelligence	2003-02-04	Paper
Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations New Generation Computing	1993-09-30	Paper
scientific article; zbMATH DE number 67863 (Why is no real title available?)	1992-09-27	Paper
A fixpoint semantics of Horn sentences based on substitution sets Theoretical Computer Science	1987-01-01	Paper
Resolution deduction to detect satisfiability for another class including non-Horn sentences in propositional logic Information Processing Letters	1986-01-01	Paper
A new combination of input and unit deductions for Horn sentences Information Processing Letters	1984-01-01	Paper
The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic Information and Control	1983-01-01	Paper

Research outcomes over time

This page was built for person: Shuji Doshita