507 search results - page 2 / 102 » Automating first-order relational logic |
166
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
102
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
117
Voted
LICS
1995
IEEE
15 years 7 months ago
1995
IEEE
112
Voted
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
96
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
