2 search results - page 1 / 1 » Isolating Resource Consumption in Linear Logic Proof Search |
ENTCS
2002
13 years 4 months ago
2002
CADE
2004
Springer
14 years 5 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...