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.identifier.isbn	978-3-88579-409-8
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/4512
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.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
dc.pubPlace	Bonn
mci.reference.pages	65-74