Searching for "Equational Logics." – sorted by Relevance.
1,176 documents found, showing 1 through 10.
Next 10 →
-
Axiomatizability in Inclusive Equational Logic
- … Equational Logic GR I GORE ROS U Research Institute for Advanced Computer Science, Automated Software…
- Cited by 4 (2 self) – Add To MetaCart
-
Equational logic and theories of action
- …Equational Logic and Theories of Action Steffen Holldobler KI, Informatik, TU Dresden D--01062…
- Cited by 1 (1 self) – Add To MetaCart
-
Local Equational Logic II
- …ae LOCAL EQUATIONAL LOGIC II VIRGIL EMIL C AZ ANESCU Faculty of Mathematics, University…
- Add To MetaCart
-
Equational Logic of Polynomial Coalgebras
- …1 Equational Logic of Polynomial Coal- gebras I ROBERT GOLDBLATT ABSTRACT. Coalgebras…
- Add To MetaCart
-
Equational Logic of Polynomial Coalgebras
- …Equational Logic of Polynomial Coalgebras Robert Goldblatt Centre for Logic, Language…
- Cited by 5 (2 self) – Add To MetaCart
-
On Extra Variables in (Equational) Logic Programming
- …MAX-PLANCK-INSTITUT F UR INFORMATIK \Omega \Psi ff \Phi On Extra Variables in (Equational) Logic…
- Cited by 20 (2 self) – Add To MetaCart
-
Representing Actions in Equational Logic Programming
- … Ligure, Italy, 1994. Representing Actions in Equational Logic Programming Michael Thielscher…
- Cited by 27 (11 self) – Add To MetaCart
-
Equational logic programming, actions, and change
- …Equational Logic Programming, Actions, and Change Gerd Groe, Steffen Holldobler, Josef…
- Add To MetaCart
-
Specification and Proof in Membership Equational Logic
- …Specification and Proof in Membership Equational Logic Adel Bouhoula xy and Jean…
- Cited by 83 (40 self) – Add To MetaCart
-
Survey of the Equational Logic Programming Project
- …Survey of the Equational Logic Programming Project Michael J. O'Donnell The University…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
