## Efficient resource management for linear logic proof search (1996)

### Cached

### Download Links

- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu.]
- [www-2.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www.lb.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu.]
- [www-cgi.cs.cmu.edu]
- [www.lb.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- [www.lb.cs.cmu.edu]
- [www.lb.cs.cmu.edu]
- [theory.stanford.edu]
- [www-2.cs.cmu.edu]
- [www.lb.cs.cmu.edu]
- [www-cgi.cs.cmu.edu.]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.lb.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu.]
- [www-cgi.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- DBLP

### Other Repositories/Bibliography

by
Iliano Cervesato
,
Joshuas. Hodas
,
Frank Pfenning

Venue: | Proceedings of the 5th International Workshop on Extensions of Logic Programming |

Citations: | 54 - 11 self |