Beweis - Unentscheidbarkeit < Krypt.+Kod.+Compalg. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 12:28 Mi 12.08.2015 | | Autor: | mariem |
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?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:43 Sa 15.08.2015 | | Autor: | geograf |
Diese Frage wurde auch auf http://www.informatikerboard.de gestellt und dort anscheinend beantwortet.
|
|
|
|
