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:




Library Locked Library locked




Author, Editor

Author(s):

Bockmayr, Alexander
dblp


Editor(s):

Schulz, K. U.
dblp


BibTeX cite key*:

Bockmayr92a

Title, Booktitle

Title*:

Algebraic and Logical Aspects of Unification

Booktitle*:

Proc.~1st Workshop on Word Equations and Related Topics

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Tübingen, Germany
Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

15 December 2019
Event End Date:

15 December 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany
Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

572
Number:


Month:


Pages:

171-180

Year*:

1992
VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

(LaTeX) Abstract:

During the last years unification theory has become an important subfield of automated reasoning and logic programming. The aim of the present paper is to relate unification theory to classical work on equation solving in algebra and mathematical logic. We show that many problems in unification theory have their counterpart in classical mathematics and illustrate by various examples how classical results can be used to answer unification-theoretic questions.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:



BibTeX Entry:

@INPROCEEDINGS{Bockmayr92a,
AUTHOR = {Bockmayr, Alexander},
 EDITOR = {Schulz, K. U.},
 TITLE = {Algebraic and Logical Aspects of Unification},
 BOOKTITLE = {Proc.~1st Workshop on Word Equations and Related Topics},
 PUBLISHER = {Springer},
 YEAR = {1992},
 VOLUME = {572},
 PAGES = {171--180},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {T{\"u}bingen, Germany},
}

Entry last modified by Uwe Brahm/MPII/DE, 08/25/2014
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)
[Library]		Created
01/14/1995 06:50:49 PM
Revisions
2.
1.
0.

Editor(s)
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE

Edit Dates
21/01/95 20:45:57
17/01/95 20:25:41
14/01/95 19:00:53