Rational spaces and set constraints

DOI10.1016/0304-3975(96)00070-9MaRDI QIDQ671675zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Rational spaces and set constraints
• Set constraints and topology
• scientific article; zbMATH DE number 1555185
• Set constraints with projections
• Set constraints in some equational theories

Cites work

• scientific article; zbMATH DE number 512856 (Why is no real title available?)
• scientific article; zbMATH DE number 1555173 (Why is no real title available?)
• scientific article; zbMATH DE number 1555185 (Why is no real title available?)
• scientific article; zbMATH DE number 2102743 (Why is no real title available?)
• scientific article; zbMATH DE number 3303661 (Why is no real title available?)
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• 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
• Efficient inference of partial types
• Rational spaces and set constraints

Cited in

(4)

• Set constraints and topology
• Set constraints with intersection
• scientific article; zbMATH DE number 1555185 (Why is no real title available?)
• Rational spaces and set constraints

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671675)