Publications: Journal Article: The undecidability of the first-order theories of one step rewriting in linear canonical systems

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-OSR

Title

Title*:

The undecidability of the first-order theories of one step rewriting in linear canonical systems

Journal

Journal Title*:	Information and Computation	Journal's URL:	http://www.academicpress.com/i&c
Download URL for the article:		Language:	English

Publisher

Publisher's Name:	Academic Press	Publisher's URL:	http://www.academicpress.com/
Publisher's Address:	San Diego, USA	ISSN:

Vol, No, pp, Date

Volume*:	175	Number:
Publishing Date:	2002
Pages*:	182-213	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-OSR,
AUTHOR = {Vorobyov, Sergei},
TITLE = {The undecidability of the first-order theories of one step rewriting in linear canonical systems},
JOURNAL = {Information and Computation},
PUBLISHER = {Academic Press},
YEAR = {2002},
VOLUME = {175},
PAGES = {182--213},
ADDRESS = {San Diego, USA},
}

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:16:29 PM
Revisions 13. 12. 11. 10. 9.	Editor(s) Christine Kiesel Uwe Brahm Manfred Jaeger Christine Kiesel Christine Kiesel	Edit Dates 29.07.2003 18:32:47 06/09/2003 01:59:26 AM 04/24/2003 06:14:27 PM 15.01.2003 14:56:57 27.03.2002 09:57:15

Attachment Section