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="de_Bruin-Vink/90"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Retractions in comparing Prolog semantics Publikation auswählen
A. de Bruin, E.P. de Vink

Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Banská Bystrica, Czechoslovakia, August 27-31, 1990)
Lecture Notes in Computer Science 452 , 1990, pp. 180-186

Editors  B. Rovan
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong
 
URL:   http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=180