Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

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

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Sofronie-Stokkermans, Viorica

dblp



BibTeX cite key*:

Sofronie-Stokkermans-unif-05

Title

Title*:

On unification for bounded distributive lattices

Journal

Journal Title*:

ACM Transactions on Computational Logic

Journal's URL:

http://www.acm.org/pubs/tocl/

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

ACM

Publisher's URL:

http://www.acm.org/

Publisher's
Address:


ISSN:

1529-3785

Vol, No, pp, Date

Volume*:

8

Number:

2

Publishing Date:

April 2007

Pages*:

12.1-12.28

Number of
VG Pages:

41

Page Start:

12.1

Page End:

12.28

Sequence Number:

12

DOI:

10.1145/1227839.1227844

Note, Abstract, ©

Note:


(LaTeX) Abstract:

We give a method for deciding unifiability in the variety
of bounded distributive lattices.
For this, we reduce the problem of deciding whether a
unification problem ${\cal S}$ has a solution to the
problem of checking the satisfiability of a set
$\Phi_{\cal S}$ of ground clauses.
This is achieved by using a structure-preserving
translation to clause form.
The satisfiability check can then be performed
either by a resolution-based theorem prover or
by a SAT checker. We apply the method to
unification with free constants and to unification
with linear constant restrictions, and show that,
in fact, it yields a decision procedure for the positive
theory of the variety of bounded distributive lattices.
We also consider the problem of unification over
(i.e.\ in an algebraic extension of) the free lattice.
Complexity issues are also addressed.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

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


BibTeX Entry:

@ARTICLE{Sofronie-Stokkermans-unif-05,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {On unification for bounded distributive lattices},
JOURNAL = {ACM Transactions on Computational Logic},
PUBLISHER = {ACM},
YEAR = {2007},
NUMBER = {2},
VOLUME = {8},
PAGES = {12.1--12.28},
MONTH = {April},
ISBN = {1529-3785},
DOI = {10.1145/1227839.1227844},
}


Entry last modified by Uwe Brahm, 03/28/2008
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)
Viorica Sofronie-Stokkermans
Created
03/12/2007 10:44:25 AM
Revisions
15.
14.
13.
12.
11.
Editor(s)
Uwe Brahm
Anja Becker
Uwe Brahm
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
03/28/2008 06:16:43 PM
19.02.2008 11:26:31
01/10/2008 01:00:45 PM
01/10/2008 02:17:33 PM
01/10/2008 02:08:40 PM