544 search results - page 11 / 109 » The Algebra of Equality Proofs |
MKM
2009
Springer
15 years 4 months ago
2009
Springer
SIAMJO
2008
14 years 11 months ago
2008
APAL
2007
14 years 12 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
14 years 6 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
15 years 26 days 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 ...