Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Author="Tervits, Gints"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Learning small programs with additional information Publikation auswählen
Rūsiņs̑ Freivalds, Gints Tervits, Rolf Wiehagen, Carl Smith

Proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97 (Yaroslavl, Russia, July 6-12, 1997)
Lecture Notes in Computer Science 1234 , 1997, pp. 102-112

Editors  Sergei Adian, Anil Nerode
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore