Proving properties of directed graphs: a problem set for automated theorem provers

Thumbnail
Veröffentlichung
2013-06-19
Autoren
Schellhorn, Gerhard
Bericht


Fakultäten
Fakultät für Ingenieurwissenschaften und Informatik
Schriftenreihe
Ulmer Informatik-Berichte
Zusammenfassung
This paper describes a problem set for automated theorem provers taken from a KIV case study on the implementation of depth-first search on graphs. The goal is to prove 54 consequences of the axioms specifying directed graphs.
Erstellung / Fertigstellung
1998
Schlagwörter
[GND]: Automatisches Beweisverfahren
[LCSH]: Automatic theorem proving | Directed graphs
[DDC Sachgruppe]: DDC 004 / Data processing & computer science
Lizenz
Standard
https://oparu.uni-ulm.de/xmlui/license_v3
Metadata
Zur Langanzeige

DOI & Zitiervorlage

Nutzen Sie bitte diesen Identifier für Zitate & Links: http://dx.doi.org/10.18725/OPARU-2500

Schellhorn, Gerhard (2013): Proving properties of directed graphs: a problem set for automated theorem provers. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-2500
Verschiedene Zitierstile >