491 search results - page 7 / 99 » Linear Quantifier Elimination |
ICTCS
2003
Springer
14 years 20 days 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...
MICS
2010
13 years 2 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...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
ASAP
2004
IEEE
13 years 11 months ago
2004
IEEE
CSL
2009
Springer
13 years 11 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,...