## KAT-ML: An interactive theorem prover for Kleene Algebra with Tests (2003)

### Cached

### Download Links

- [kamal.aboulhosn.org]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [kamal.aboulhosn.org]
- [www.cs.cornell.edu]
- [kamal.aboulhosn.org]
- DBLP

### Other Repositories/Bibliography

by
Kamal Aboul-hosn
,
Dexter Kozen

Venue: | University of Manchester |

Citations: | 8 - 1 self |