Regular Separability and Intersection Emptiness Are Independent Problems

DOI10.4230/LIPIcs.FSTTCS.2019.51OpenAlexW2998200254MaRDI QIDQ5875690

Ramanathan S. Thinniyam, Georg Zetzsche

Publication date: 3 February 2023

Full work available at URL: https://arxiv.org/abs/1908.04038

zbMATH Keywords

decidabilityregular separabilityintersection emptiness

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Related Items (2)

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond ⋮ General decidability results for asynchronous shared-memory programs: higher-order and beyond

This page was built for publication: Regular Separability and Intersection Emptiness Are Independent Problems