Startseite
Forum
Fragen
Suchen
Über Uns
Informatiker Board
»
Themengebiete
»
Theoretische Informatik
»
Beweis - Unentscheidbarkeit
» Hallo Gast [
Anmelden
|
Registrieren
]
Letzter Beitrag
|
Erster ungelesener Beitrag
Druckvorschau
|
An Freund senden
|
Thema zu Favoriten hinzufügen
Beweis - Unentscheidbarkeit
Autor
Beitrag
«
Vorheriges Thema
|
Nächstes Thema
»
marie m
Eroberer
Dabei seit: 08.06.2013
Beiträge: 57
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?
12.08.2015
09:58
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
Ist es das?
http://www.ams.org/journals/tran/1978-24...8-0491583-7.pdf
Gruß,
Karlito
12.08.2015
16:09
Baumstruktur
|
Brettstruktur
Gehe zu:
Bitte wählen:
--------------------
Themengebiete
-- Theoretische Informatik
---- formale Sprachen
---- Automatentheorie
---- Berechenbarkeits- und Komplexitätstheorie
---- Logik
-- Praktische Informatik
---- Algorithmen
---- Softwaretechnik
---- Datenbanken
-- Technische Informatik
-- übergreifende Themen
---- Künstliche Intelligenz
---- Informatik und Gesellschaft
-- Informatik in der Schule
-- Sonstige Fragen
Sonstiges
-- Off-Topic
-- Ankündigungen
Informatiker Board
»
Themengebiete
»
Theoretische Informatik
»
Beweis - Unentscheidbarkeit
© by
Informatikerboard.de
Forensoftware:
Burning Board
, entwickelt von
WoltLab GmbH