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: Citkey="Masseron-Tollu-Vauzeilles/90"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Generating plans in linear logic Publikation auswählen
M. Masseron, C. Tollu, J. Vauzeilles

Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)
Lecture Notes in Computer Science 472 , 1990, pp. 63-75

Editors  K.V. Nori, C.E. Veni Madhavan
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona
 
URL:   http://dx.doi.org/10.1007/3-540-53487-3_35