Programming, specification, and interactive theorem proving : towards a unified language based on equational logic, rewriting logic, and type theory

Link:
Autor/in:
Beteiligte Person:
  • Valk, Rüdiger (Prof. Dr.)
Verlag/Körperschaft:
Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
Erscheinungsjahr:
2002
Medientyp:
Text
Schlagworte:
  • 004 Informatik
  • 54.10 Theoretische Informatik
  • 54.71 Logikprogrammierung
  • Termersetzungssystem
  • Gleichungstheorie
  • Typentheorie
  • Automatisches Beweisverfahren
  • Petri-Netz
  • ddc:004
  • Termersetzungssystem
  • Gleichungstheorie
  • Typentheorie
  • Automatisches Beweisverfahren
  • Petri-Netz
Lizenzen:
  • http://purl.org/coar/access_right/c_abf2
  • info:eu-repo/semantics/openAccess
  • No license
Quellsystem:
E-Dissertationen der UHH
Interne Metadaten
Quelldatensatz
oai:ediss.sub.uni-hamburg.de:ediss/3423