Rational spaces and set constraints

DOI10.1016/0304-3975(96)00070-9zbMath0874.68212OpenAlexW2019602791MaRDI QIDQ671675

Dexter Kozen

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(96)00070-9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Special properties of topological spaces (54F99)

Related Items (2)

Set constraints with intersection ⋮ Set constraints and topology

Cites Work

• Efficient inference of partial types
• Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings
• Decidability of systems of set constraints with negative constraints
• Rational spaces and set constraints
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Rational spaces and set constraints