What Is a Derived Signature Morphism?

DOI10.1007/978-3-319-28114-8_6zbMath1472.68097OpenAlexW2411409067MaRDI QIDQ2787340

Thomas S. E. Maibaum, Till Mossakowski, Ulf Krumnack

Publication date: 25 February 2016

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28114-8_6

Mathematics Subject Classification ID

Knowledge representation (68T30) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (4)

Functorial semantics of first-order views ⋮ Algebraic data integration ⋮ Institutions for SQL database schemas and datasets ⋮ Formalization of universal algebra in Agda

This page was built for publication: What Is a Derived Signature Morphism?