Rational spaces and set constraints

DOI10.1016/0304-3975(96)00070-9zbMATH Open0874.68212OpenAlexW2019602791MaRDI QIDQ671675FDOQ671675

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

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

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)

Cites Work

• Title not available (Why is that?)
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rational spaces and set constraints
• Title not available (Why is that?)

Cited In (4)

• Set constraints and topology
• Set constraints with intersection
• Title not available (Why is that?)
• 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)