Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik

Zusammenfassung
Vor ungefähr vierzig Jahren wurde entdeckt, dass Automaten ein nützliches mathematisches Werkzeug sind, um die Entscheidbarkeit bestimmter Teilsysteme der Arithmetik zu verstehen. Heutzutage werden Automaten auch als Werkzeug eingesetzt, um Entscheidungsverfahren für eben solche logischen Theorien umzusetzen. Meine Dissertation behandelt Fragestellungen aus eben diesem Bereich zwischen Automatentheorie und Logik. Ziel dieses Artikels ist es, Einblicke in diesen Themenbereich zu geben und die Beiträge meiner Dissertation zu beschreiben.
  • Vollständige Referenz
  • BibTeX
Klaedtke, F., (2005). Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik. In: Wagner, D. (Hrsg.), Ausgezeichnete Informatikdissertationen 2004. Bonn: Gesellschaft für Informatik. (S. 65-74).
@inproceedings{mci/Klaedtke2005,
author = {Klaedtke, Felix},
title = {Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik},
booktitle = {Ausgezeichnete Informatikdissertationen 2004},
year = {2005},
editor = {Wagner, Dorothea} ,
pages = { 65-74 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
gi-diss-005-007.pdf237.0Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-409-8
ISSN: 1617-5468
Datum: 2005
Sprache: de (de)
Sammlungen

Zur Langanzeige