835 search results - page 17 / 167 » Geometric Logic in Computer Science |
FOCS
1992
IEEE
14 years 21 days ago
1992
IEEE
The problem of evaluating the sign of the determinant of a small matrix arises in many geometric algorithms. Given an n
CAAP
1990
14 years 3 days ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
JVA
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE