| DC Element | Wert | Sprache |
|---|---|---|
| dc.contributor.advisor | Valk, Rüdiger (Prof. Dr.) | |
| dc.contributor.author | Stehr, Mark-Oliver | |
| dc.date.accessioned | 2020-10-19T12:28:39Z | - |
| dc.date.available | 2020-10-19T12:28:39Z | - |
| dc.date.issued | 2002 | |
| dc.identifier.uri | https://ediss.sub.uni-hamburg.de/handle/ediss/3423 | - |
| dc.language.iso | en | en |
| dc.publisher | Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky | |
| dc.rights | http://purl.org/coar/access_right/c_abf2 | |
| dc.subject.ddc | 004 Informatik | |
| dc.title | Programming, specification, and interactive theorem proving : towards a unified language based on equational logic, rewriting logic, and type theory | en |
| dc.type | doctoralThesis | |
| dcterms.dateAccepted | 2002-09-23 | |
| dc.rights.cc | No license | |
| dc.rights.rs | http://rightsstatements.org/vocab/InC/1.0/ | |
| dc.subject.bcl | 54.10 Theoretische Informatik | |
| dc.subject.bcl | 54.71 Logikprogrammierung | |
| dc.subject.gnd | Termersetzungssystem | |
| dc.subject.gnd | Gleichungstheorie | |
| dc.subject.gnd | Typentheorie | |
| dc.subject.gnd | Automatisches Beweisverfahren | |
| dc.subject.gnd | Petri-Netz | |
| dc.type.casrai | Dissertation | - |
| dc.type.dini | doctoralThesis | - |
| dc.type.driver | doctoralThesis | - |
| dc.type.status | info:eu-repo/semantics/publishedVersion | |
| dc.type.thesis | doctoralThesis | |
| tuhh.opus.id | 810 | |
| tuhh.opus.datecreation | 2002-01-01 | |
| tuhh.type.opus | Dissertation | - |
| thesis.grantor.department | Informatik | |
| thesis.grantor.place | Hamburg | |
| thesis.grantor.universityOrInstitution | Universität Hamburg | |
| dcterms.DCMIType | Text | - |
| tuhh.gvk.ppn | 360375448 | |
| dc.identifier.urn | urn:nbn:de:gbv:18-8105 | |
| item.advisorGND | Valk, Rüdiger (Prof. Dr.) | - |
| item.grantfulltext | open | - |
| item.languageiso639-1 | other | - |
| item.fulltext | With Fulltext | - |
| item.creatorOrcid | Stehr, Mark-Oliver | - |
| item.creatorGND | Stehr, Mark-Oliver | - |
| 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
420
Letzte Woche
Letzten Monat
geprüft am 19.04.2024
Download(s)
296
Letzte Woche
Letzten Monat
geprüft am 19.04.2024
Werkzeuge
