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	Hilfe

Suche: Citkey="Lafont/04"

Theoretical Computer Science 318 (1-2), 2004, pp. 163-180

Editors		G. Ausiello, D. Sannella
Publisher:		Elsevier Science Publishers B.V.
Address:		Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo
Keywords:		Linear logic, Second order lambda-calculus, Polynomial time
URL:		DOI:10.1016/j.tcs.2003.10.018