544 search results - page 11 / 109 » The Algebra of Equality Proofs |
104
Voted
MKM
2009
Springer
15 years 6 months ago
2009
Springer
SIAMJO
2008
15 years 1 months ago
2008
APAL
2007
15 years 1 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...
110
Voted
SIAMCOMP
2010
14 years 8 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 ...
108
click to vote
AAAI
1990
15 years 3 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 ...