Searching for "Equational Logics." – sorted by Relevance.
-
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

