Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Doshita, S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A fixpoint semantics of Horn sentences based on substitution sets
S. Yamasaki
,
M. Yoshida
,
S. Doshita
Theoretical Computer Science
51
(3), 1987, pp. 309-324
Resolution deduction to detect satisfiability for another class including non-Horn sentences in propositional logic
S. Yamasaki
,
S. Doshita
Information Processing Letters
23
(4), 1986, November, pp. 201-207
A new combination of input and unit deductions for Horn sentences
S. Yamasaki
,
M. Yoshida
,
S. Doshita
,
M. Hirata
Information Processing Letters
18
(4), 1984, May, pp. 209-213