Nominal Sets over Algebraic Atoms
From MaRDI portal
Publication:5410500
DOI10.1007/978-3-319-06251-8_26zbMath1405.68084OpenAlexW288145025MaRDI QIDQ5410500
Publication date: 16 April 2014
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_26
Other algebras related to logic (03G25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Completeness and incompleteness in nominal Kleene algebra ⋮ A Non-Deterministic Multiset Query Language
This page was built for publication: Nominal Sets over Algebraic Atoms
