Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Degtyarev, Anatoli - Department of Computer Science, King's College London
Equality Elimination for the Inverse Method and Extension Anatoli Degtyarev y
J. LOGIC PROGRAMMING 1993:12:1--199 1 A NOTE ON SEMANTICS OF LOGIC
Characterising Finite Domains in Monodic First-Order Temporal Logic Boris Konev
Handling Equality in Logic Programming via Basic Folding
Regular Derivations in Basic SuperpositionBased Calculi
Equality Elimination for the Tableau Method Anatoli Degtyarev ? and Andrei Voronkov ??
The Undecidability of Simultaneous Rigid EUnification Anatoli Degtyarev \Lambda Andrei Voronkov y
Monodic Temporal Resolution ANATOLY DEGTYAREV
General Connections via Equality Elimination Anatoli Degtyarev \Lambda Andrei Voronkov yz
Mechanising FirstOrder Temporal Resolution Boris Konev a;1 Anatoli Degtyarev b Clare Dixon a Michael Fisher a
Basic Folding Revisited Vladimir Aleksic 1 , Anatoli Degtyarev 1 , and Andrei Voronkov 2
Decidability Problems for the Prenex Fragment of Intuitionistic Logic Anatoli Degtyarev
