Sunday, August 23, 2015

Undecidability

Hey!! :o

I have a question about a proof of undecidability of the existential theory…

When we know that the existential theory of $F[u,…


No comments:

Post a Comment