"A remark on the equational calculus for many-sorted algebras with possibly ..."

Hartmut Ehrig, Jacques Loeckx, Bernd Mahr (1986)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2020-06-18

a service of  Schloss Dagstuhl - Leibniz Center for Informatics