Generator induction in order sorted algebras
type: Item
instance of: scholarly article
title: Generator induction in order sorted algebras
zbMATH Open document ID: 0712.68068
DOI: 10.1007/BF01211433
author: Olaf Owe
author: Ole-Johan Dahl
published in: Formal Aspects of Computing
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4172408
zbMATH Keywords: algebraic specification
zbMATH Keywords: functional programming
zbMATH Keywords: order sorted algebras
zbMATH Keywords: generator induction
MaRDI profile type: Publication
cites work: Q3332229
cites work: Rewrite systems on a lattice of types
cites work: Q3719824
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
full work available at URL: https://doi.org/10.1007/bf01211433
OpenAlex ID: W2057939154
Recommended article: Algorithm for Generating Finite Totally Ordered Monoids
Recommended article: Q4035262
Recommended article: Algebras defined from ordered sets and the varieties they generate
Recommended article: Higher-order order-sorted algebras
Recommended article: Order algebras
Recommended article: Q4807520
Recommended article: Q5393781
Recommended article: Q4326912
Recommended article: On Hilbert algebras generated by the order
description: scientific article; zbMATH DE number 4172408