Die letzten 2 Beiträge |
Karlito |
Ist es das?
http://www.ams.org/journals/tran/1978-24...8-0491583-7.pdf
Gruß,
Karlito |
marie m |
Beweis - Unentscheidbarkeit
Hallo,
weiss jemand in welchen paper von Denef ich den Beweis, dass die existentielle Theorie von einen Polynomring auf eine Sprache unentscheidbar ist, finden kann? |
|
|