123 search results - page 2 / 25 » Interpolation in Valiant's theory |
SYNTHESE
2008
13 years 5 months ago
2008
g Interpolation Theorem in abstract model theory Jouko V
COCO
2007
Springer
13 years 12 months ago
2007
Springer
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
COCO
2007
Springer
13 years 12 months ago
2007
Springer
We study the link between the complexity of a polynomial and that of its coefficient functions. Valiant’s theory is a good setting for this, and we start by generalizing one of V...
SYNTHESE
2008
13 years 5 months ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...