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="Degtyarev, Anatoli"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Mechanising first-order temporal resolution
Boris Konev
,
Anatoli Degtyarev
,
Clare Dixon
,
Michael Fisher
,
Ullrich Hustadt
Information and Computation
199
(1-2), 2005, pp. 55-86
Stratified resolution
Anatoli Degtyarev
,
Robert Nieuwenhuis
,
Andrei Voronkov
Journal Symbolic Computation
36
(1-2), 2003, pp. 79-99
Decidability and complexity of simultaneous rigid
E
-unification with one variable and related results
Anatoli Degtyarev
,
Yuri Gurevich
,
Paliath Narendran
,
Margus Veanes
,
Andrei Voronkov
Theoretical Computer Science
243
(1-2), 2000, pp. 167-184
Equality elimination for the tableau method
Anatoli Degtyarev
,
Andrei Voronkov
Lecture Notes in Computer Science
1128
, 1996, pp. 46-60
The undecidability of simultaneous rigid
E
-unification
Anatoli Degtyarev
,
Andrei Voronkov
Theoretical Computer Science
166
(1-2), 1996, pp. 291-300