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: Citkey="Chen-Warren/96" |
Journal of the ACM 43 (1), 1996, pp. 20-74
Publisher: | ACM Press | |
Address: | New York | |
Keywords: | program transformations, stable models, tabled evaluation, well-founded models | |