What Is a Derived Signature Morphism?
From MaRDI portal
Publication:2787340
DOI10.1007/978-3-319-28114-8_6zbMath1472.68097MaRDI 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
68T30: Knowledge representation
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi
Related Items
Algebraic data integration, Functorial semantics of first-order views, Institutions for SQL database schemas and datasets, Formalization of universal algebra in Agda