Publications: Journal Article: $\forall\exists^5$-equational theory of context unification is undecidable

Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor(s)

Author(s):

Vorobyov, Sergei

dblp

BibTeX cite key*:

Vorobyov2000-aecu

Title

Title*:

$\forall\exists^5$-equational theory of context unification is undecidable

Journal

Journal Title*:	Theoretical Computer Science	Journal's URL:	http://www.elsevier.nl/locate/tcs
Download URL for the article:		Language:	English

Publisher

Publisher's Name:	Elsevier	Publisher's URL:	http://www.elsevier.com/
Publisher's Address:	Amsterdam, the Netherlands	ISSN:

Vol, No, pp, Date

Volume*:	275	Number:
Publishing Date:	2002
Pages*:	463-479	Number of VG Pages:
Page Start:		Page End:
Sequence Number:		DOI:

Note, Abstract, ©

Note:
(LaTeX) Abstract:
URL for the Abstract:
Categories, Keywords:
HyperLinks / References / URLs:	http://www.csd.uu.se/~vorobyov/publications.shtml
Copyright Message:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	Expert
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@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

Attachment Section