Zur FAQ
Sagen Sie uns Ihre Meinung
Kontakt zur Bibliothek
Zum Nutzerkonto im Campuskatalog
Zur WebsiteSuche
Bibliotheksstichworte von A bis Z
Fachbibliotheken SUB-Homepage SUB-Homepage UHH-Homepage  
 

Eingang zum Volltext

  Hinweis zum Urheberrecht
Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:gbv:18-8105
URL: http://www.sub.uni-hamburg.de/opus/volltexte/2002/810/
Stehr, Mark-Oliver

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

Volltext (1.846,7 KB) Zusammenfassung (57,4 KB)

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

 

Suchen | Viewer
Fragen und Anregungen an die Hochschulschriftenstelle
Letzte Änderungen: 05.01.10