Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2006 | Modular Proof Systems for Partial Functions with Evans Equality In: Information and Computation [204], 1453-1492 | GSW-i-and-c | |||||
2004 | Modular Proof Systems for Partial Functions with Weak Equality In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Ganzinger-SofronieStokkermans-Waldmann-ijcar-2004 | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|