Agostino Dovier, Carla Piazza, Gianfranco Rossi  Home/Search
Context
Related
| prmat.math.unipr.it/~gian...RR_PR309.ps 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: math.unipr.it/~gianfr/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The notion of set constraint has been presented in literature with two di erent meanings and aims. Each of them allows to deal with a particular class of set based formulae. We compare the two notions and present their satis ability problem as instances of the more general framework of Computable Set Theory. We show that there are large classes of formulae for which both proposals provide suitable procedures for testing satis ability with respect to a given privileged interpretation. We... (Update)
Active bibliography (related documents): More All
0.6: Comparing Expressiveness of Set Constructor Symbols - Dovier, Piazza, Policriti (2000) (Correct)
0.5: Pipes and Filters: Modelling a Software Architecture Through.. - Doberkat (2002) (Correct)
0.4: A Uniform Axiomatic View of Lists, Multisets, and Sets, and the .. - Dovier, al. (1998) (Correct)
Similar documents based on text: More All
0.6: Sets and Constraint Logic Programming - Dovier, Piazza, Pontelli, Rossi (2000) (Correct)
0.5: Multiset Constraints and P Systems - Dovier, Piazza, Rossi (Correct)
0.4: A Fast Bisimulation Algorithm - Fast (Hyper) Set Equivalence - Dovier, Piazza, Policriti (Correct)
BibTeX entry: (Update)
@misc{ dovier-setbased,
author = "Agostino Dovier and Carla Piazza and Gianfranco Rossi",
title = "Set-Based Constraints",
url = "citeseer.ist.psu.edu/602401.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
113 Constraint Logic Programming: A Survey (context) - Ja, Maher - 1994
111 Solving systems of set constraints (context) - Aiken, Wimmers - 1992
109 Programming by Multiset Transformation (context) - Banatre, Le Metayer - 1993
67 Tree Automata (context) - Gecseg, Steinby - 1984
57 The Complexity of Set Constraints - Aiken, Kozen et al. - 1994
52 Decidability of systems of set constraints with negative con.. - Aiken, Kozen et al. - 1995
52 Logic Programming with Sets - Kuper - 1990
50 Solving system of set constraints with negated subset relati.. (context) - Gilleron, Tison et al. - 1993
44 Set constraints with projections are in NEXPTIME - Charatonik, Pacholski - 1994
40 flogg: A Language for Programming in Logic with Finite Sets - Dovier, Omodeo et al. - 1996
39 Set Constraints and Set-Based Analysis - Heintze, Ja - 1994
37 Introduction to Set Constraint-Based Program Analysis (context) - Aiken - 1999
34 Solving systems of set constraints using tree automata (context) - Gilleron, Tison et al. - 1993
27 Introduction to the CLAIRE Programming Language (context) - Caseau, Laburthe - 1996
26 The Semantics of Constraint Logic Programs - Ja, Maher et al. - 1998
19 An Introduction to Independence Proofs (context) - Kunen - 1980
19 Short overview of the CLPS system (context) - Legeard, Legros - 1991
16 Programming with sets (context) - Schwartz, Dewar et al. - 1986
15 Set constraints: Results (context) - Aiken - 1994
15 Information and Computation (context) - Kozen, Logic - 1998
12 ACM Transaction on Programming Language and Systems (context) - Dovier, Piazza et al. - 2000
11 Computable Set Theory and Logic Programming (context) - Dovier - 1996
6 A uniform approach to constraint-solving for lists (context) - Dovier, Piazza et al. - 2000
5 Interval Propagation to Reason about Sets : De nition and Im.. (context) - Gervet - 1997
4 A set-theoretic translation method for polymodal logics (context) - D'Agostino, Policriti et al. - 1995
4 A goaldriven uni cation algorithm for the blended case (context) - Dovier, Omodeo et al. - 1999
2 Int'l Series of Monographs on Computer Science (context) - Cantone, Ferro et al. - 1989
2 Monographs in Computer Science (context) - Cantone, Omodeo et al. - 2001
1 and the relevant uni cation algorithms Fundamenta Informatic.. (context) - Dovier, Policriti et al. - 2012
1 Dealing with In nite Intensional Sets in CLP (context) - Carmona, Dovier et al. - 1997
1 Relating Set Constraints and Constraint Logic Programming wi.. (context) - Dovier, Piazza et al. - 1999
1 Implementations and Eciency Considerations (context) - Foster, SC - 1996
Documents on the same site (http://www.math.unipr.it/~gianfr/papers.html): More
A WAM Implementation for the Logic Meta-Programming Language.. - Cervesato, Rossi (1993) (Correct)
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the .. - Dovier, al. (1998) (Correct)
Logic Meta-Programming Facilities in 'LOG - Cervesato, Rossi (1992) (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