1997
Translating logic programs into conditional rewriting systems
Publication
Publication
Presented at the
International Conference on Logic Programming, Leuven
Additional Metadata | |
---|---|
, | |
MIT Press (Cambridge, MA) | |
Logic Programming | |
International Conference on Logic Programming | |
van Raamsdonk, F. (1997). Translating logic programs into conditional rewriting systems. In Logic Programming (pp. 168–182). MIT Press (Cambridge, MA). |