Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1] | Hilfe |
Suche: Citkey="Coquand/94" |
Information and Computation 110 (2), 1994, May, pp. 297-304
Publisher: | Academic Press | |
Address: | New York-San Francisco-London-San Diego | |