3552 search results - page 448 / 711 » Proof theory in the abstract |
195
click to vote
APLAS
2011
ACM
14 years 6 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
152
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...
178
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
— Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality line...
288
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
144
click to vote
NECO
2007
15 years 6 months ago
2007
ll Text][Abstract] , October 1, 2007; 19 (10): 2604-2609.Neural Comput. R. Brette Exact Simulation of Integrate-and-Fire Models with Exponential Currents ll Text][Abstract] , Novem...