3690 search results - page 194 / 738 » Computation with classical sequents |
91
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
107
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
110
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Rounding a real-valued matrix to an integer one such that the rounding errors in all rows and columns are less than one is a classical problem. It has been applied to hypergraph co...
ARITH
1995
IEEE
15 years 4 months ago
1995
IEEE
—We present a new class of number systems, called Semi-Logarithmic Number Systems, that constitute a family of various compromises between floating-point and logarithmic number s...
100
click to vote
TLCA
1995
Springer
15 years 4 months ago
1995
Springer
We introduce a simply-typed λ-calculus (λ→ exn ) featuring an ML-like exception handling mechanism. This calculus, whose type system corresponds to classical logic through the ...