scientific article

zbMath0749.08004MaRDI QIDQ4011724

Vincenzo Manca, Antonino Salibra

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

axiom systemabstract data typestyped equational logicerror elementsmany-sorted structurestack algebraTEL systemtyping relation

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)

Related Items (1)

First order logic without equality on relativized semantics

This page was built for publication: