2623 search results - page 149 / 525 » Hoare Logic in the Abstract |
166
click to vote
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges.
CCGRID
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract-- We describe
JSYML
2006
14 years 10 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
CORR
2010
Springer
14 years 5 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.