@ARTICLE{Vorobyov2000-aecu,
AUTHOR = {Vorobyov, Sergei},
TITLE = {$\forall\exists^5$-equational theory of context unification is undecidable},
JOURNAL = {Theoretical Computer Science},
PUBLISHER = {Elsevier},
YEAR = {2002},
VOLUME = {275},
PAGES = {463--479},
ADDRESS = {Amsterdam, the Netherlands},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
08/21/2001 02:19:21 PM |
Revisions
12.
11.
10.
9.
8. | Editor(s)
Christine Kiesel
Uwe Brahm
Manfred Jaeger
Christine Kiesel
Christine Kiesel | Edit Dates
29.07.2003 18:34:11
06/09/2003 02:00:55 AM
04/24/2003 06:13:29 PM
15.01.2003 15:10:50
15.01.2003 15:08:55 |