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). |
|