Generalized inductive definitions : the m-calculus [my-calculus] and P12-comprehension [Pi 1 2-comprehension] /

Description

Münster (Westfalen), Univ., Diss., 2003. / Computerdatei im Fernzugriff.

Links & Downloads

1. http://miami.uni-muenster.de/servlets/DerivateServlet/Derivate-243/diss.ps

Tags

Induktive Definition

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/638409979
Date	January 2003
Creators	Möllerfeld, Michael.
Publisher	[S.l.] : [s.n.],
Source Sets	OCLC
Language	Undetermined
Detected Language	English