scientific article; zbMATH DE number 604878

zbMATH Open0798.03041MaRDI QIDQ4299856FDOQ4299856

Authors: Rosu Grigore 

Publication date: 3 November 1994

Title of this publication is not available (Why is that?)

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)