@ARTICLE{deNivelle2005a,
AUTHOR = {de Nivelle, Hans},
TITLE = {Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms},
JOURNAL = {Information and Computation},
PUBLISHER = {Elsevier},
YEAR = {2005},
NUMBER = {1},
VOLUME = {199},
PAGES = {24--54},
ADDRESS = {Amsterdam, The Netherlands},
MONTH = {April},
}
Entry last modified by Christine Kiesel, 01/28/2008
Edit History (please click the blue arrow to see the details)
| Editor(s)
Hans de Nivelle | Created
03/11/2005 04:49:54 PM |
Revisions
4.
3.
2.
1.
0. | Editor(s)
Christine Kiesel
Hans de Nivelle
Christine Kiesel
Hans de Nivelle
Hans de Nivelle | Edit Dates
21.12.2005 10:26:43
08/17/2005 11:04:06 AM
27.04.2005 11:37:36
04/21/2005 11:42:57 AM
03/11/2005 04:49:54 PM |