Rational spaces and set constraints

DOI10.1007/3-540-59293-8_186MaRDI QIDQ5096725zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Rational spaces and set constraints
• On rational sets in Euclidean spaces and spheres
• Constrained intervals and interval spaces
• Set constraints and topology
• Rational spaces and the property of universality
• Rational spaces in resolving classes
• Rational equivalences between classifying spaces
• Publication:5753187
• Rational geometry in space
• Rational function spaces

Cites work

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

Cited in

(4)

• Set constraints and automata
• Set constraints and topology
• 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 Q5096725)