2012 search results - page 230 / 403 » CORAL - Control, Relations and Logic |
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
192
click to vote
DKE
2007
15 years 6 months ago
2007
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
174
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
144
click to vote
JOLLI
2007
15 years 6 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...