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

Fixpoint semantics for logic programming a survey Publikation auswählen
Melvin Fitting

Theoretical Computer Science 278 (1-2), 2002, pp. 25-51

Publisher:  Elsevier Science Publishers B.V. (North Holland)
Address:  Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo