2 search results - page 1 / 1 » Isolating Resource Consumption in Linear Logic Proof Search |
ENTCS
2002
15 years 2 months ago
2002
148
click to vote
CADE
2004
Springer
16 years 3 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...