Conference
A three-valued semantic for Horn clause programs
| Title: | A three-valued semantic for Horn clause programs |
|---|---|
| Authors: | Naish, L. |
| Source: | Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518) Australasian computer science Computer Science Conference, 2000. ACSC 2000. 23rd Australasian. :174-180 2000 |
| Relation: | Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 076950518X 9780769505183 |
|---|---|
| DOI: | 10.1109/ACSC.2000.824399 |