(Enter summary)
Abstract: this paper we investigate the topological structure of the
spaces of solutions to systems of set constraints. We identify a family
of topological spaces called rational spaces, which formalize the notion
of a topological space with a regular or self-similar structure, such as
the Cantor discontinuum or the space of runs of a finite automaton. We
develop the basic theory of rational spaces and derive generalizations and
proofs from topological principles of some results in the literature on set... (Update)
Context of citations to this paper: More
...between many approaches on set constraints. Furthermore, set constraints have been studied in a logical and topological point of view [Koz95, MGKW96] This last paper combine set constraints with Tarskian set constraints, a more general framework for which many complexity...
Cited by: More
Tree Automata Techniques and Applications -.. - Comon, Dauchet.. (1998)
(Correct)
Tree Automata Techniques and Applications -.. - Comon, Dauchet..
(Correct)
Tree Automata Techniques and Applications -.. - Comon, Dauchet.. (1998)
(Correct)
Active bibliography (related documents): More All
0.9: Set Constraints and Logic Programming - Kozen (1995)
(Correct)
0.9: A Complete Gentzen-Style Axiomatization for Set Constraints - Cheng, Kozen (1996)
(Correct)
0.6: Set Constraints: a Pearl in Research on Constraints - Pacholski, Podelski (1997)
(Correct)
Similar documents based on text: More All
0.9: Entailment of Set Constraints is not Feasible - Müller, Niehren (1997)
(Correct)
0.1: Many-body forces between membrane inclusions: A new.. - Kim, Neu, Oster
(Correct)
0.1: Unknown -
(Correct)
Related documents from co-citation: More All
14: nite tree automata (context) - Seidl, of - 1989
14: Completion of rewrite systems with membership constraints
- Comon - 1992
13: A decision procedure for a class of set constraints
- Heintze, Jaffar - 1990
BibTeX entry: (Update)
D. Kozen. Rational spaces and set constraints. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, TAPSOFT'95: Theory and Practice of Software Development, volume 915 of Lecture Notes in Computer Science, pages 42--61. Springer Verlag, 1995. http://citeseer.ist.psu.edu/kozen95rational.html More
@article{ kozen96rational,
author = "Dexter Kozen",
title = "Rational spaces and set constraints",
journal = "Theoretical Computer Science",
volume = "167",
number = "1--2",
pages = "73--94",
year = "1996",
url = "citeseer.ist.psu.edu/kozen95rational.html" }
Citations (may not include all citations):
195
Flow analysis and optimization of LISP-like structures (context) - Jones, Muchnick - 1979
128
Set Based Program Analysis (context) - Heintze - 1993
112
Boolean algebras with operators (context) - J'onsson, Tarski - 1952
112
Boolean algebras with operators (context) - J'onsson, Tarski - 1951
109
Solving systems of set constraints (context) - Aiken, Wimmers - 1992
92
A finite presentation theorem for approximating logic progra..
- Heintze, Jaffar - 1990
87
Towards a theory of types in PROLOG (context) - Mishra - 1984
81
A decision procedure for a class of set constraints
- Heintze, Jaffar - 1990
75
Set constraints are the monadic class
- Bachmair, Ganzinger et al. - 1993
66
Declaration-free type checking (context) - Mishra, Reddy - 1985
63
Automatic computation of data set definitions (context) - Reynolds - 1969
57
The complexity of set constraints
- Aiken, Kozen et al. - 1993
53
Static type inference in a dynamically typed language
- Aiken, Murphy - 1991
50
Solving systems of set constraints with negated subset relat.. (context) - Gilleron, Tison et al. - 1993
46
Implementing regular tree expressions
- Aiken, Murphy - 1991
44
Set constraints with projections are in nexptime
- Charatonik, Pacholski - 1994
42
Negative set constraints with equality
- Charatonik, Pacholski - 1994
34
Solving systems of set constraints using tree automata (context) - Gilleron, Tison et al. - 1993
34
Logical aspects of set constraints
- Kozen - 1993
30
Efficient inference of partial types
- Kozen, Palsberg et al. - 1994
26
Efficient recursive subtyping
- Kozen, Palsberg et al. - 1993
23
Experience with a type evaluator (context) - Young, O'Keefe - 1988
18
Set constraints and logic programming
- Kozen - 1994
18
Set constraints and logic programming
- Kozen - 1994
14
Rational spaces and set constraints
- Kozen - 1995
13
A complete Gentzen-style axiomatization for set constraints
- Cheng, Kozen - 1995
4
Systems of set constraints with negative constraints are nex.. (context) - Stef'ansson - 1994
3
Technical Report DAIMI FN (context) - Englefriet, tree - 1975
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cornell.edu/Kozen/papers/papers.html): More
Efficient Algorithms for Optimal Video Transmission - Dexter Kozen (1995)
(Correct)
Parikh's Theorem in Commutative Kleene Algebra - Hopkins, Kozen (1999)
(Correct)
Partial Automata and Finitely Generated Congruences: An Extension.. - Kozen (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