MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Algebraic and Logic Programming" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

49 documents found, showing 1 through 10. Next 10 →

ATOM

Algebra of logic programming
by Silvija Seres — 1999 — International Conference on 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
by Didier Bert, Rachid Echahed — 1995 — In Recent Trends in Data Type Specifications
…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
by D. Bert, R. Echahed — 1994 — In Proc. of the ICLP’94 Post-Conference Workshop on Integration of Declarative Paradigms. MPI-I-94-224, Saarbrucken
…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
by Elvira Pino — 1999
… 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
by Serge Abiteboul, Catriel Beeri — 1993 — In Proceedings of International Workshop on Theory and Applications of Nested Relations and 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
by Vaughan Pratt — 1991 — Studia Logica
… 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
by Serge Abiteboul, Catriel Beeri — 1995 — VLDB Journal
…-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
by Yuli Zhou, Robert Muller — 1999
… 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
by Angelica Maria Kappel, Lehrstuhl Informatik V — 1994
….1 Operational Semantics and Logic Programming : : : : : : : : : : : : : : : : 51 6.2 Programming with Prolog…
Cited by 1 (1 self) – Add To MetaCart

[Hanus 90] M.Hanus:
by Compiling Logic Programs — 1991
… based on constructor discipline and narrowing, Conference on Algebraic and Logic Programming 1988, LNCS…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB