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

Description

Hamburg, University, Diss., 2002.

Links & Downloads

1. http://www.sub.uni-hamburg.de/disse/810/dissertation.pdf
2. http://deposit.ddb.de/cgi-bin/dokserv?idn=965649423

Tags

Termersetzungssystem

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76444132
Date	January 2002
Creators	Stehr, Mark-Oliver.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English