| Translated title of the contribution | Automatic transformation of deterministic prolog programs to KL1 |
|---|---|
| Original language | English |
| Title of host publication | Workshop on Parallel Logic Programming, International Symposium on Fifth Generation Computer Systems |
| Publication status | Published - 1994 |
Automatic transformation of deterministic prolog programs to KL1
K Varsamos
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)