A New Method for Undecidability Proofs of First Order Theories (1992)

Cached

Download Links

by Ralf Treinen
Venue:Journal of Symbolic Computation
Citations:29 - 6 self

Active Bibliography

774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
543 Model Theory – Wilfrid Hodges - 2000
671 The Lorel Query Language for Semistructured Data – Serge Abiteboul, Dallan Quass, Jason Mchugh, Jennifer Widom, Janet Wiener - 1997
1068 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
568 Term Rewriting Systems – J. W. Klop - 1992
1119 Temporal and modal logic – E. Allen Emerson - 1995
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
1406 Toward Principles for the Design of Ontologies Used for Knowledge Sharing – Thomas R. Gruber - 1993