@ARTICLE{GSW-i-and-c,
AUTHOR = {Ganzinger, Harald and Sofronie-Stokkermans, Viorica and Waldmann, Uwe},
TITLE = {Modular Proof Systems for Partial Functions with {Evans} Equality},
JOURNAL = {Information and Computation},
PUBLISHER = {Elsevier},
YEAR = {2006},
NUMBER = {10},
VOLUME = {204},
PAGES = {1453--1492},
MONTH = {October},
ISBN = {0890-5401},
}
Entry last modified by Viorica Sofronie-Stokkermans, 01/17/2007
Edit History (please click the blue arrow to see the details)
| Editor(s)
Viorica Sofronie-Stokkermans | Created
08/01/2006 01:50:15 PM |
Revisions
6.
5.
4.
3.
2. | Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Uwe Waldmann
Uwe Waldmann
Uwe Waldmann | Edit Dates
01/17/2007 03:47:21 PM
01/11/2007 11:22:49 AM
26.10.2006 21:55:41
26.10.2006 21:55:17
09/22/2006 03:23:08 PM |