Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik

dc.contributor.author	Klaedtke, Felix
dc.contributor.editor	Wagner, Dorothea
dc.date.accessioned	2017-09-22T20:42:44Z
dc.date.available	2017-09-22T20:42:44Z
dc.date.issued	2005
dc.description.abstract	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.	de
dc.identifier.isbn	978-3-88579-409-8
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/4512
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2004
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-5
dc.title	Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik	de
gi.citation.endPage	74
gi.citation.publisherPlace	Bonn
gi.citation.startPage	65

Dateien

1 - 1 von 1