| 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.
