Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Korovin, Konstantin
Voronkov, Andrei

dblp
dblp

Not MPG Author(s):

Voronkov, Andrei

Editor(s):

Kolaitis, Phokion

dblp

Not MPII Editor(s):

Kolaitis, Phokion

BibTeX cite key*:

KorovinVoronkov:LICS03:EqOrientability

Title, Booktitle

Title*:

Orienting Equalities with the Knuth-Bendix Order

Booktitle*:

18th Annual IEEE Symposium on Logic in Computer Science (LICS-03)

Event, URLs

URL of the conference:

http://www.dcs.ed.ac.uk/home/als/lics/lics03/

URL for downloading the paper:


Event Address*:

Ottawa, Canada

Language:

English

Event Date*
(no longer used):

June, 22 - June, 25

Organization:

Institute of Electrical and Electronics Engineers (IEEE)

Event Start Date:

8 July 2003

Event End Date:

12 July 2003

Publisher

Name*:

IEEE

URL:

http://www.ieee.org/

Address*:

Los Alamitos, USA

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

75-84

Year*:

2003

VG Wort Pages:

10

ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

Orientability of systems of equalities is the following
problem: given a system of equalities $s_1 \eql t_1, \ldots,
s_n \eql t_n$, does there exist a simplification ordering $\succ$ which orients the system,
that is for every $i \in \{1,...,n\}$,
either $s_i \succ t_i$ or $t_i \succ s_i$.
This problem can be used in rewriting for finding
a canonical rewrite system for a system of equalities
and in theorem proving for adjusting simplification
orderings during completion. We prove that (rather surprisingly)
the problem can be solved in polynomial time when we restrict ourselves to the Knuth-Bendix orderings.



Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

popular

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{KorovinVoronkov:LICS03:EqOrientability,
AUTHOR = {Korovin, Konstantin and Voronkov, Andrei},
EDITOR = {Kolaitis, Phokion},
TITLE = {Orienting Equalities with the {Knuth-Bendix} Order},
BOOKTITLE = {18th Annual IEEE Symposium on Logic in Computer Science (LICS-03)},
PUBLISHER = {IEEE},
YEAR = {2003},
ORGANIZATION = {Institute of Electrical and Electronics Engineers (IEEE)},
PAGES = {75--84},
ADDRESS = {Ottawa, Canada},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Konstantin Korovin
Created
04/29/2003 08:28:08 PM
Revisions
9.
8.
7.
6.
5.
Editor(s)
Viorica Sofronie-Stokkermans
Anja Becker
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
06/23/2004 02:34:32 PM
21.06.2004 16:07:45
17.06.2004 17:56:23
17.06.2004 15:35:54
01/23/2004 12:15:19 PM