544 search results - page 11 / 109 » The Algebra of Equality Proofs |
MKM
2009
Springer
14 years 14 days ago
2009
Springer
SIAMJO
2008
13 years 7 months ago
2008
APAL
2007
13 years 8 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
SIAMCOMP
2010
13 years 2 months ago
2010
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
AAAI
1990
13 years 9 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...