2012 search results - page 16 / 403 » CORAL - Control, Relations and Logic |
107
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
104
Voted
ENTCS
2007
15 years 1 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
105
click to vote
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important problem，and the solution can be reduced to determining the minimal co...
108
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
120
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...