Volltextdatei(en) vorhanden
Titel: Programming, specification, and interactive theorem proving : towards a unified language based on equational logic, rewriting logic, and type theory
Sprache: Englisch
Autor*in: Stehr, Mark-Oliver
GND-Schlagwörter: Termersetzungssystem; Gleichungstheorie; Typentheorie; Automatisches Beweisverfahren; Petri-Netz
Erscheinungsdatum: 2002
Tag der mündlichen Prüfung: 2002-09-23
URL: https://ediss.sub.uni-hamburg.de/handle/ediss/3423
URN: urn:nbn:de:gbv:18-8105
Dokumenttyp: Dissertation
Betreuer*in: Valk, Rüdiger (Prof. Dr.)
Enthalten in den Sammlungen:Elektronische Dissertationen und Habilitationen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat  
dissertation.pdf1.85 MBAdobe PDFÖffnen/Anzeigen
zusammen.pdf57.36 kBAdobe PDFÖffnen/Anzeigen
Zur Langanzeige

Diese Publikation steht in elektronischer Form im Internet bereit und kann gelesen werden. Über den freien Zugang hinaus wurden durch die Urheberin / den Urheber keine weiteren Rechte eingeräumt. Nutzungshandlungen (wie zum Beispiel der Download, das Bearbeiten, das Weiterverbreiten) sind daher nur im Rahmen der gesetzlichen Erlaubnisse des Urheberrechtsgesetzes (UrhG) erlaubt. Dies gilt für die Publikation sowie für ihre einzelnen Bestandteile, soweit nichts Anderes ausgewiesen ist.

Info

Seitenansichten

198
Letzte Woche
Letzten Monat
geprüft am 10.04.2021

Download(s)

41
Letzte Woche
Letzten Monat
geprüft am 10.04.2021
Werkzeuge

Google ScholarTM

Prüfe