Shuji Doshita

Available identifiers

Publication	Date of Publication	Type
Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables	2003-02-04	Paper
Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations	1993-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4013842	1992-09-27	Paper
A fixpoint semantics of Horn sentences based on substitution sets	1987-01-01	Paper
Resolution deduction to detect satisfiability for another class including non-Horn sentences in propositional logic	1986-01-01	Paper
A new combination of input and unit deductions for Horn sentences	1984-01-01	Paper
The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic	1983-01-01	Paper

This page was built for person: Shuji Doshita