Sciweavers

80
Voted
CSL
2005
Springer
15 years 2 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