| 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-NetzGND |
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 | Prüfsumme | Größe | Format | |
|---|---|---|---|---|---|
| dissertation.pdf | 16c1776e273da09a3330be2456a1f7d2 | 1.85 MB | Adobe PDF | Öffnen/Anzeigen | |
| zusammen.pdf | 2a7db834fc61127158ba5098cf04a663 | 57.36 kB | Adobe PDF | Öffnen/Anzeigen |
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
552
Letzte Woche
Letzten Monat
geprüft am 17.04.2025
Download(s)
413
Letzte Woche
Letzten Monat
geprüft am 17.04.2025
Werkzeuge
