827 search results - page 74 / 166 » Proof-Theoretic Soundness and Completeness |
WOLLIC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
DEXAW
2006
IEEE
14 years 4 months ago
2006
IEEE
We study inference rules for multivalued dependencies in relational databases with null values (NMVDs). The definition of NMVDs is dependent on the underlying relation schema and ...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
ADBIS
2005
Springer
14 years 3 months ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
ASM
2005
ASM
14 years 3 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...