Indexed Categories and Bottom-Up Semantics of Logic Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A new framework for declarative programming
Theoretical Computer Science
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Hi-index | 0.00 |