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