FAQ
© 2015 Staats- und Universitätsbibliothek
Hamburg, Carl von Ossietzky

Öffnungszeiten heute09.00 bis 24.00 Uhr alle Öffnungszeiten

Eingang zum Volltext in OPUS

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

pdf-Format:
 Volltext (1.847 KB)    Zusammenfassung (57 KB)  


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

keine Statistikdaten vorhanden
Legende