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

Cached

Download Links

by Ralf Treinen
Venue:Journal of Symbolic Computation
Citations:30 - 7 self

Document Versions

A New Method for Undecidability Proofs of First Order Theories –Ralf Treinen — 1992 — Journal of Symbolic Computation