## Connecting a logical framework to a first-order logic prover (2005)

### Cached

### Download Links

- [www.cs.chalmers.se]
- [www.cse.chalmers.se]
- [www.cs.chalmers.se]
- [www.cse.chalmers.se]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]

by
Andreas Abel
,
Thierry Coquand
,
Ulf Norell

Venue: | IN FROCOS’05: PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON FRONTIERS OF COMBINING SYSTEMS |

Citations: | 4 - 0 self |