![](/img/cover-not-exists.png)
Modular proof systems for partial functions with Evans equality
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe WaldmannVolume:
204
Year:
2006
Language:
english
Pages:
40
DOI:
10.1016/j.ic.2005.10.002
File:
PDF, 427 KB
english, 2006