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):

Ludwig, Michel
Waldmann, Uwe

dblp
dblp

Not MPG Author(s):

Ludwig, Michel

Editor(s):

Dershowitz, Nachum
Voronkov, Andrei

dblp
dblp

Not MPII Editor(s):

Dershowitz, Nachum
Voronkov, Andrei

BibTeX cite key*:

LudwigWaldmann2007

Title, Booktitle

Title*:

An Extension of the Knuth-Bendix Ordering with LPO-Like Properties

Booktitle*:

Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007

Event, URLs

URL of the conference:

http://www.lpar.net/2007/

URL for downloading the paper:


Event Address*:

Yerevan, Armenia

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

15 October 2007

Event End Date:

19 October 2007

Publisher

Name*:

Springer

URL:

http://www.springer.de/

Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

4790

Number:


Month:


Pages:

348-362

Year*:

2007

VG Wort Pages:

25

ISBN/ISSN:

3-540-75558-6

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

The Knuth-Bendix ordering is usually preferred over the
lexicographic path ordering in successful implementations
of resolution and superposition, but it is incompatible
with certain requirements of hierarchic superposition
calculi. Moreover, it does not allow non-linear definition
equations to be oriented in a natural way. We present
an extension of the Knuth-Bendix ordering that makes it
possible to overcome these restrictions.



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{LudwigWaldmann2007,
AUTHOR = {Ludwig, Michel and Waldmann, Uwe},
EDITOR = {Dershowitz, Nachum and Voronkov, Andrei},
TITLE = {An Extension of the {Knuth-Bendix} Ordering with {LPO}-Like Properties},
BOOKTITLE = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {4790},
PAGES = {348--362},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Yerevan, Armenia},
ISBN = {3-540-75558-6},
}


Entry last modified by Uwe Waldmann, 03/26/2009
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)
Uwe Waldmann
Created
10/25/2007 06:07:13 PM
Revision
1.
0.


Editor
Uwe Waldmann
Uwe Waldmann


Edit Date
26.03.2009 22:07:35
25.10.2007 18:07:13


Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section