Agostino Dovier, Carla Piazza, Enrico Pontelli  Home/Search
Context
Related
| dimi.uniud.it/~piazza/PAPE...aci1.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dimi.uniud.it/~piazza/pb (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunification problem in the context of ACI1 equational theories. This problem is of great importance, for instance, for the development of constraint solvers over sets. Its solution opens new possibilities for developing automatic tools for static analysis and software verification. In this work we provide a... (Update)
Active bibliography (related documents): More All
1.5: ACI1 constraints - Dovier, Piazza, Pontelli, Rossi (1999) (Correct)
0.4: From Set to Hyperset Unification - Aliffi, Dovier, Rossi (1999) (Correct)
0.3: A Decidable Tableau Calculus for a Fragment of Set.. - Cantone, Ruggeri.. (1997) (Correct)
Similar documents based on text: More All
1.0: Sets and Constraint Logic Programming - Dovier, Piazza, Pontelli, Rossi (2000) (Correct)
0.8: Set Unification Revisited - Dovier, Pontelli (Correct)
0.7: Fast (Hyper) Set Equivalence - Dovier, Piazza, Policriti (Correct)
BibTeX entry: (Update)
@misc{ dovier-disunification,
author = "Agostino Dovier and Carla Piazza and Enrico Pontelli",
title = "Disunification in ACI1 Theories",
url = "citeseer.ist.psu.edu/dovier99disunification.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
759 Negation as Failure (context) - Clark - 1978
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
134 Unification Theory - Siekmann - 1990
118 Complete Axiomatizations of the Algebras of Finite (context) - Maher - 1988
71 Unification in the Union of Disjoint Equational Theories: Co.. - Baader, Schulz - 1996
48 Disunification: a Survey - Comon - 1991
46 Programming with Constraints (context) - Marriott, Stuckey - 1998
45 Interval Propagation to Reason about Sets: Definition and Im.. (context) - Gervet - 1997
42 Negative Set Constraints with Equality - Charatonik, Pacholski - 1994
40 flogg: A Language for Programming in Logic with Finite Sets - Dovier, Omodeo et al. - 1996
36 Logical Aspects of Set Constraints - Kozen - 1993
33 NP-Completeness of the Set Unification and Matching Problems (context) - Kapur, Narendran - 1986
26 Combination Techniques and Decision Problems for Disunificat.. - Baader, Schulz - 1995
23 A Set-theoretic Model for Real-Time Specification and Reason.. - Fidge, Hayes et al. - 1998
19 Type Dependencies for Logic Programs using ACI-unification - Codish, Lagoon - 1996
19 Short Overview of the CLPS System (context) - Legeard, Legros - 1991
18 Applications and Future Directions (context) - Aiken, Results - 1994
14 the Representation and Management of Finite Sets in CLP-lang.. - Dovier, Piazza et al. - 1998
14 Axiomatizable Classes of Locally Free Algebras of Various Ty.. (context) - Mal'cev - 1971
13 The Semantics of Constraint Logic Programs - Jaffar, Maher et al. - 1998
9 Optimization and Complexity Issues (context) - Cantone, Omodeo et al. - 1990
8 Personal Communication (context) - Harary - 2000
8 Introduction to Model Theory and to the Metamathematics of A.. (context) - Robinson - 1963
7 Theoretical Computer Science (context) - Baader, Buttner et al. - 1988
4 International Series of Monographs on Computer Science (context) - Cantone, Ferro et al. - 1989
4 Comparing expressiveness of set constructor symbols - Dovier, Piazza et al. - 2000
2 Set Unification Revisited (context) - Dovier, Pontelli et al. - 1998
2 Solving Disequations in Equational Theories (context) - Buckert - 1988
1 Birkhauser Verlag Basel und Stuttgart (context) - Gratzer, Theory - 1978
Documents on the same site (http://www.dimi.uniud.it/~piazza/pb.html): More
Fast (Hyper) Set Equivalence - Dovier, Piazza, Policriti (Correct)
A Fast Bisimulation Algorithm - Fast (Hyper) Set Equivalence - Dovier, Piazza, Policriti (Correct)
Simulation as Coarsest Partition Problem - Gentilini, Piazza, Policriti (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC