Searching for "Algebraic and Logic Programming" – sorted by Relevance.
-
Algebra of logic programming
- The Algebra of Logic Programming Silvija Seres Wolfson College Hilary Term 2001 Submitted
- Cited by 17 (3 self) – Add To MetaCart
-
On the Operational Semantics of the Algebraic and Logic Programming Language LPG
- On the Operational Semantics of the Algebraic and Logic Programming Language LPG Didier Bert
- Cited by 4 (0 self) – Add To MetaCart
-
Integrating Disequations in the Algebraic and Logic Programming Language LPG
- Integrating Disequations in the Algebraic and Logic Programming Language LPG D. Bert and R
- Cited by 1 (0 self) – Add To MetaCart
-
Bibliography for An Algebraic Study of Modularity in Logic Programming
- Science, 140 (1995) 139-177. [O'Ke85] R. A. O'Keefe. Towards an Algebra for Constructing Logic Programs
- Add To MetaCart
-
On The Power Of Languages For The Manipulation Of Complex Objects
- , the algebra, and the logic-programming oriented language have equivalent expressive power. In particular
- Cited by 119 (7 self) – Add To MetaCart
-
Dynamic Algebras: Examples, Constructions, Applications
- words: Dynamic algebra, logic, program verification, regular algebra. This paper originally appeared
- Cited by 16 (1 self) – Add To MetaCart
-
The Power of Languages for the Manipulation of Complex Values
- -independent calculus, the safe cal- culus, the algebra, and the logic-programming oriented language have equivalent
- Cited by 43 (0 self) – Add To MetaCart
-
Sufficient Conditions for the Existence of Unique Minimal Fixpoints of Nonmonotomic Functions
- International Conference on Algebraic and Logic Programming, Nancy, France, October, 1990, LNCS Vol. 463, H
- Add To MetaCart
-
Implementation of Dynamic Algebras with an Application to Prolog
- .1 Operational Semantics and Logic Programming : : : : : : : : : : : : : : : : 51 6.2 Programming with Prolog
- Cited by 1 (1 self) – Add To MetaCart
-
[Hanus 90] M.Hanus:
- based on constructor discipline and narrowing, Conference on Algebraic and Logic Programming 1988, LNCS
- Add To MetaCart

