Publikationsansicht

Translating logic programs into conditional rewriting systems (1997)

Abstract

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.28.2624
Quelle	http://www.cwi.nl/ftp/CWIreports/PNA/PNA-R9803.ps.Z
Herausgeber	MIT Press
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	logic programming, rewriting, program transformation
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.47.3883, 10.1.1.29.3512, 10.1.1.34.9190, 10.1.1.42.2437, 10.1.1.40.507, 10.1.1.108.6851, 10.1.1.92.5382, 10.1.1.16.6240, 10.1.1.19.62, 10.1.1.87.7221