Rational Spaces and Set Constraints (1995)  (Make Corrections)  (14 citations)
Dexter Kozen
Theoretical Computer Science

  Home/Search   Context   Related   DBLP Metadata

 
View or download:
cornell.edu/kozen/papers/rat.ps
Cached:  PS.gz  PS  PDF  Image  Update  Help

From:  cornell.edu/Kozen/papers...papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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