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-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ößeFormat  
dissertation.pdf16c1776e273da09a3330be2456a1f7d21.85 MBAdobe PDFÖffnen/Anzeigen
zusammen.pdf2a7db834fc61127158ba5098cf04a66357.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

400
Letzte Woche
Letzten Monat
geprüft am 27.03.2024

Download(s)

279
Letzte Woche
Letzten Monat
geprüft am 27.03.2024
Werkzeuge

Google ScholarTM

Prüfe