Undecidability of the 9 8
Download:
|
|
by Jerzy Marcinkowski
http://www.tcs.uni.wroc.pl/~jma/./rta25.ps
Add To MetaCart
Abstract:
part of the theory of
Citations
| 28 | A new method for undecidability proofs of first order theories – TREINEN - 1992 |
| 10 | Complete axiomatizations of some quotient term algebras. Theoretical Computer Science – Comon - 1993 |
| 8 | Complement problems and tree automata in AC-like theories – Lugiez, Moysset - 1993 |
| 2 | AC-Complement Problems: Validity and Negation Elimination – Fernandez - 1993 |
| 1 | P.Young, An Introduction to thr General Theory of Algorithms – Machtey - 1978 |
