Die Ausdrucksstärke der Logik erster Stufe mit eingebauten Prädikaten

dc.contributor.author	Scheikardt, Nicole
dc.contributor.editor	Wagner, Dorothea
dc.date.accessioned	2017-09-22T20:41:42Z
dc.date.available	2017-09-22T20:41:42Z
dc.date.issued	2003
dc.description.abstract	Diese Arbeit ist in der Theoretischen Informatik positioniert, und zwar in den Fachgebieten Komplexitätstheorie, mathematische Logik und Datenbanktheorie. Die Arbeit beschäftigt sich mit der Ausdrucksstärke der Logik erster Stufe auf Strukturen mit eingebauten Prädikaten wie z.B. lineare Ordnung, Addition und Multiplikation. Die Hauptergebnisse lassen sich den drei Teilbereichen Arithmetik und ”Zählquantoren“, die Crane Beach-Vermutung“ und Kollaps-Resultate in der Datenbanktheorie“ zuordnen. Ziel des hier vorliegenden Artikels ist, einen Einblick in die Fragestellungen und Ergebnisse zu diesen drei Themenkreisen zu geben.	de
dc.identifier.isbn	978-3-88579-407-1
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/4457
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2002
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-3
dc.title	Die Ausdrucksstärke der Logik erster Stufe mit eingebauten Prädikaten	de
gi.citation.endPage	162
gi.citation.publisherPlace	Bonn
gi.citation.startPage	153

Dateien

1 - 1 von 1