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 | Hilfe |
Suche: Author="Lafferriere, Gerardo" |
Journal Symbolic Computation 32 (3), 2001, pp. 231-253
Publisher: | Academic Press | |
Address: | London-San Diego | |