Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Citkey="Dehlinger-Dufourd/04a"

Theoretical Computer Science 323 (1-3), 2004, pp. 399-442

Editors		G. Ausiello, D. Sannella
Publisher:		Elsevier B.V.
Address:		Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo
Keywords:		Coq,calculus of inductive constructions, geometry modelling, generalized maps, surfaces, specification, proof
URL:		http://dx.doi.org/10.1016/j.tcs.2004.05.002