Nominal Sets over Algebraic Atoms

DOI10.1007/978-3-319-06251-8_26MaRDI QIDQ5410500zbMATH OpenOpenAlexFDO

Authors Joanna Ochremiak

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On universal algebra over nominal sets
• scientific article; zbMATH DE number 4079684
• Nominal Algebra and the HSP Theorem
• Normsets of almost Dedekind domains and atomicity
• On neatly atomic cylindric set algebras
• scientific article; zbMATH DE number 3925245
• Nominal Kleene coalgebra
• scientific article; zbMATH DE number 813127
• Towards the algebraization of set theory. Set-theoretic domains
• scientific article; zbMATH DE number 1001197

Cited in

(14)

• Set-theoretic analysis of nominative data
• Completeness and incompleteness in nominal Kleene algebra
• Nominal sets. Names and symmetry in computer science
• Towards nominal computation
• Imperative programming in sets with atoms
• A nominal relational model for local store
• On universal algebra over nominal sets
• Generalised name abstraction for nominal sets
• scientific article; zbMATH DE number 7204453 (Why is no real title available?)
• Nominal Renaming Sets
• A Non-Deterministic Multiset Query Language
• Fast computations on ordered nominal sets
• The fresh-graph of a nominal set
• Nominal Sets in Agda - A Fresh and Immature Mechanization

This page was built for publication: Nominal Sets over Algebraic Atoms

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