2 search results - page 1 / 1 » Affine Systems of Equations and Counting Infinitary Logic |
122
Voted
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
117
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...