@ARTICLE{TalbotIPL2000,
AUTHOR = {Talbot, Jean-Marc},
TITLE = {The $\exists \forall^2$ fragment of the First-Order Theory of Set Constraints is $\pi^0_1$-hard},
JOURNAL = {Information Processing Letters},
PUBLISHER = {Elsevier},
YEAR = {2000},
NUMBER = {1/2},
VOLUME = {74},
PAGES = {27--33},
ADDRESS = {Amsterdam, the Netherlands},
ISBN = {0020-0190},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Jean Marc Talbot | Created
03/22/2000 02:45:21 PM |
Revisions
5.
4.
3.
2.
1. | Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Christine Kiesel
Christine Kiesel | Edit Dates
31.08.2001 11:24:30 AM
04/04/2001 06:32:50 PM
04/04/2001 06:31:49 PM
13.03.2001 11:50:37
05/06/2000 14:47:08 |