## Modular proof systems for partial functions with Evans equality (2006)

### Cached

### Download Links

- [www.mpi-inf.mpg.de]
- [www.mpi-sb.mpg.de]
- [www.mpi-inf.mpg.de]
- DBLP

### Other Repositories/Bibliography

by
Harald Ganzinger
,
Viorica Sofronie-stokkermans
,
Uwe Waldmann

Venue: | Information and Computation |

Citations: | 23 - 13 self |