3690 search results - page 17 / 738 » Computation with classical sequents |
DCC
2004
IEEE
16 years 2 months ago
2004
IEEE
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
121
Voted
DCC
2008
IEEE
15 years 2 months ago
2008
IEEE
127
click to vote
FOSSACS
2005
Springer
15 years 8 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...