scientific article; zbMATH DE number 6296808
From MaRDI portal
Publication:5416165
zbMath1295.03051MaRDI QIDQ5416165
Publication date: 19 May 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) History of mathematical logic and foundations (03-03) Categorical semantics of formal languages (18C50) Abstract model theory (03C95)
Related Items (3)
Foundations for structuring behavioural specifications ⋮ Graded consequence: an institution theoretic study ⋮ The institution-theoretic scope of logic theorems
This page was built for publication:
