Domain reasoning in TopKAT

DOI10.4230/LIPICS.ICALP.2024.157MaRDI QIDQ6875019zbMATH OpenFDO

Authors Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

completenessdecidabilityKleene algebraKleene algebra with testsKleene algebra with domainKleene algebra with top and tests

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Domain reasoning in TopKAT

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