## Uniform proofs as a foundation for logic programming (1991)

### Cached

### Download Links

- [www.lix.polytechnique.fr]
- [www.lix.polytechnique.fr]
- [ftp.cs.duke.edu]
- DBLP

### Other Repositories/Bibliography

by
Dale Miller
,
Gopalan Nadathur
,
Frank Pfenning
,
Andre Scedrov

Venue: | ANNALS OF PURE AND APPLIED LOGIC |

Citations: | 374 - 108 self |