Sciweavers

CSL
2005
Springer
15 years 3 months ago
Focusing the Inverse Method for Linear Logic
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
Kaustuv Chaudhuri, Frank Pfenning