## Higher-Order Logic and Theorem Proving for Structured Specifications (1999)

### Cached

### Download Links

- [ftp.ipipan.gda.pl]
- [delta.math.univ.gda.pl]
- DBLP

### Other Repositories/Bibliography

by
Tomasz Borzyszkowski

Venue: | in Algebraic Development Techniques, (WADT 99), LNCS |

Citations: | 11 - 0 self |