Logo des Repositoriums
 

Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik

dc.contributor.authorKlaedtke, Felix
dc.contributor.editorWagner, Dorothea
dc.date.accessioned2017-09-22T20:42:44Z
dc.date.available2017-09-22T20:42:44Z
dc.date.issued2005
dc.description.abstractVor 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.de
dc.identifier.isbn978-3-88579-409-8
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/4512
dc.language.isode
dc.publisherGesellschaft für Informatik
dc.relation.ispartofAusgezeichnete Informatikdissertationen 2004
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Dissertations, Volume D-5
dc.titleAutomatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetikde
gi.citation.endPage74
gi.citation.publisherPlaceBonn
gi.citation.startPage65

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
gi-diss-005-007.pdf
Größe:
237.03 KB
Format:
Adobe Portable Document Format