Rational spaces and set constraints

DOI10.1007/3-540-59293-8_186zbMath1496.68185OpenAlexW2109648277MaRDI QIDQ5096725

Dexter Kozen

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_186

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)

Rational spaces and set constraints ⋮ Set constraints and automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient inference of partial types
• Decidability of systems of set constraints with negative constraints
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

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