## More Church-Rosser Proofs (in Isabelle/HOL) (1996)

### Cached

### Download Links

- [www4.in.tum.de]
- [wwwbroy.informatik.tu-muenchen.de]
- [www4.informatik.tu-muenchen.de]
- DBLP

### Other Repositories/Bibliography

by
Tobias Nipkow

Venue: | Journal of Automated Reasoning |

Citations: | 39 - 4 self |