scientific article; zbMATH DE number 604878

MaRDI QIDQ4299856zbMATH OpenFDO

Authors Rosu Grigore

Publication date 3 November 1994

zbMATH Keywords

institutionmany-sorted algebrasorder-sorted algebrasorder-sorted equational logic

Mathematics Subject Classification ID

Abstract model theory (03C95) Categorical logic, topoi (03G30) Equational logic, Mal'tsev conditions (08B05) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Cited in

(1)

• Many-sorted first-order composition-nominative logic as institution

This page was built for publication:

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