1996
A compositional semantics for normal open programs
Publication
Publication
Presented at the
Joint International Conference and Symposium on Logic Programming, Bonn
| Additional Metadata | |
|---|---|
| , | |
| MIT Press (Cambridge, MA) | |
| Logic Programming | |
| Joint International Conference and Symposium on Logic Programming | |
|
Etalle, S., & Teusink, F. (1996). A compositional semantics for normal open programs. In Logic Programming. Proceedings of the Joint International Conference and Symposium on Logic Programming 1996 (pp. 468–482). MIT Press (Cambridge, MA). |
|