Final algebras, cosemicomputable algebras and degrees of unsolvability
type: Item
instance of: scholarly article
title: Final algebras, cosemicomputable algebras and degrees of unsolvability
zbMATH Open document ID: 0768.68093
DOI: 10.1016/0304-3975(92)90305-Y
author: Lawrence S. Moss
author: José Meseguer
author: Joseph Goguen
published in: Theoretical Computer Science
publication date: 1993-01-17T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 08A70
Mathematics Subject Classification ID: 03D25
Mathematics Subject Classification ID: 08B20
zbMATH DE Number: 96043
zbMATH Keywords: computability
zbMATH Keywords: abstract data types
zbMATH Keywords: cosemicomputable many-sorted algebras
zbMATH Keywords: finality
zbMATH Keywords: minimal-state realizations
zbMATH Keywords: many-sorted signature
zbMATH Keywords: signature extension
zbMATH Keywords: congruences of finitely generated free algebras
zbMATH Keywords: Turing degree of a minimal algebra
zbMATH Keywords: r.e. degree
MaRDI profile type: Publication
cites work: Algebraic specifications of computable and semicomputable data types
cites work: Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
cites work: Q3208066
cites work: Q4105777
cites work: Realization is universal
cites work: Q3962973
cites work: Q4178466
cites work: Q4064160
cites work: Data types, abstract data types and their specification problem
cites work: CONSTRUCTIVE ALGEBRAS I
cites work: Q3687683
cites work: Computable Algebra, General Theory and Theory of Computable Fields
cites work: Q5573961
cites work: Final algebra semantics and data type extensions
full work available at URL: 0304-3975(92)90305-y
OpenAlex ID: W2050029329
Wikidata QID: Q127883873
description: scientific article; zbMATH DE number 96043