## First Order Logic With Domain Conditions (2001)

### Cached

### Download Links

- [www.cs.kun.nl]
- [www.cs.kun.nl]
- [www.cs.ru.nl]
- [www.cs.ru.nl]
- DBLP

### Other Repositories/Bibliography

by
Freek Wiedijk
,
Jan Zwanenburg

Venue: | in `Theorem Proving in Higher Order Logics, TPHOLs 2003', Vol. 2758 of LNCS |

Citations: | 3 - 0 self |