491 search results - page 7 / 99 » Linear Quantifier Elimination |
133
Voted
ICTCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
103
Voted
MICS
2010
14 years 9 months ago
2010
This paper provides methods to decide whether a given analytic function of several complex variables is a linear combination of finitely many given analytic functions with coeffic...
76
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
97
Voted
ASAP
2004
IEEE
15 years 6 months ago
2004
IEEE
138
Voted
CSL
2009
Springer
15 years 6 months ago
2009
Springer
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...