## A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems (2000)

### Cached

### Download Links

- [www.cs.cornell.edu]
- [www.nuprl.org]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.uni-potsdam.de]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- DBLP

### Other Repositories/Bibliography

by
Christoph Kreitz
,
Stephan Schmitt

Venue: | Journal of Information and Computation |

Citations: | 10 - 7 self |