3690 search results - page 17 / 738 » Computation with classical sequents |
DCC
2004
IEEE
14 years 10 months ago
2004
IEEE
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
CCA
2009
Springer
14 years 2 months ago
2009
Springer
DCC
2008
IEEE
13 years 10 months ago
2008
IEEE
FOSSACS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...