![](/img/cover-not-exists.png)
Efficient resource management for linear logic proof search
Iliano Cervesato, Joshua S. Hodas, Frank PfenningVolume:
232
Year:
2000
Language:
english
Pages:
31
DOI:
10.1016/s0304-3975(99)00173-5
File:
PDF, 212 KB
english, 2000