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="Leitsch, A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Strong splitting rules in automated theorem proving
M. Baaz
,
A. Leitsch
Lecture Notes in Computer Science
378
, 1989, pp. 424-425
Fast subsumption algorithms
G. Gottlob
,
A. Leitsch
Lecture Notes in Computer Science
204
, 1985, pp. 64-77
On the efficiency of subsumption algorithms
G. Gottlob
,
A. Leitsch
Journal of the ACM
32
(2), 1985, pp. 280-295