3624 search results - page 276 / 725 » Abstract Algebraic Logic |
129
click to vote
CADE
2008
Springer
16 years 6 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.
153
click to vote
JSYML
2006
15 years 6 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
148
click to vote
CORR
2010
Springer
15 years 1 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.
151
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...