Hinweis zum Urheberrecht

Dissertation zugänglich unter
URN: urn:nbn:de:gbv:18-8105
URL: http://ediss.sub.uni-hamburg.de/volltexte/2002/810/

Programming, specification, and interactive theorem proving : towards a unified language based on equational logic, rewriting logic, and type theory

Stehr, Mark-Oliver

---

SWD-Schlagwörter:		Termersetzungssystem , Gleichungstheorie , Typentheorie , Automatisches Beweisverfahren , Petri-Netz
Basisklassifikation:		54.71 , 54.10
Institut:		Informatik
DDC-Sachgruppe:		Informatik
Dokumentart:		Dissertation
Hauptberichter:		Valk, Rüdiger (Prof. Dr.)
Sprache:		Englisch
Tag der mündlichen Prüfung:		23.09.2002
Erstellungsjahr:		2002
Publikationsdatum:		01.01.2002

Zugriffsstatistik

Home | Suchen
Fragen und Anregungen an die Hochschulschriftenstelle
Letzte Änderung: 12.04.12