234 search results - page 1 / 47 » Deduction, Strategies, and Rewriting |
DEDUCTIVE
1992
13 years 6 months ago
1992
ENTCS
2007
13 years 4 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
WOLLIC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
ICTAI
1996
IEEE
13 years 9 months ago
1996
IEEE
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
CORR
2010
Springer
12 years 11 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.