3319 search results - page 52 / 664 » Subshifts, Languages and Logic |
88
Voted
SP
2002
IEEE
15 years 4 days ago
2002
IEEE
82
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
156
Voted
ICLP
2011
Springer
14 years 4 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
171
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
ICFP
2004
ACM
16 years 13 days ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...