Informatiker Board | Theoretische Informatik | Beweis - Unentscheidbarkeit

Informatiker Board » Themengebiete » Theoretische Informatik » Beweis - Unentscheidbarkeit » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

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?