Results 11 to 20 of about 24 (24)

Variant Narrowing and Equational Unification

Electronic Notes in Theoretical Computer Science, 2009
Santiago Escobar, Jose Meseguer, Ralf Sasse   +2 more
exaly  

On equational theories, unification, and (Un)decidability

Journal of Symbolic Computation, 1989
Hans-Jürgen Bürckert, Manfred Schmidt-Schauß   +1 more
exaly  

Equational propositional logic

Information Processing Letters, 1995
David Gries
exaly  

Nominal Equational Logic

Electronic Notes in Theoretical Computer Science, 2007
Andrew M Pitts
exaly  

Equational rules for rewriting logic

Theoretical Computer Science, 2002
exaly  

Fuzzy equational logic

Archive for Mathematical Logic, 2002
Radim Bělohlávek
exaly  

Structural diversity in the lattice of equational theories

Algebra Universalis, 1981
exaly  

Benign Oral Tumors and Tumor-like Conditions

Ca-A Cancer Journal for Clinicians, 1972
exaly  

Term Equational Systems and Logics

Electronic Notes in Theoretical Computer Science, 2008
exaly  

Equational classes of f-rings with unit: disconnected classes

Algebra Universalis, 2010
exaly