Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








Author, Editor(s)
Author(s):
Sofronie-Stokkermans, Vioricadblp

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:


Vol, No, pp, Date

Volume*:

8
Number:

2

Publishing Date:

April 2007

Pages*:

?
Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


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:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography


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 = {?},
 MONTH = {April},
}

Entry last modified by Viorica Sofronie-Stokkermans, 11/29/2006
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
05/18/2005 01:10:44 PM
Revisions
5.
4.
3.
2.
1.		Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans		Edit Dates
11/29/2006 04:05:40 PM
11/09/2006 01:08:05 PM
07/20/2006 12:50:40 PM
01/09/2006 05:01:06 PM
05/18/2005 01:11:53 PM