The data type variety of stack algebras
type: Item
instance of: scholarly article
title: The data type variety of stack algebras
zbMATH Open document ID: 0821.68082
DOI: 10.1016/0168-0072(94)00038-5
author: John V. Tucker
author: J. A. Bergstra
published in: Annals of Pure and Applied Logic
publication date: 1995-05-30T00:00:00Z
full work available at URL: 1174 12203y.pdf
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 08A70
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 759338
zbMATH Keywords: computable algebras
zbMATH Keywords: term rewriting systems
zbMATH Keywords: equational specification
zbMATH Keywords: stack algebras
zbMATH Keywords: minimal algebras in a variety
zbMATH Keywords: recursively enumerable set of equations
zbMATH Keywords: equational theory
zbMATH Keywords: equational deduction problem
MaRDI profile type: Publication
OpenAlex ID: W2117639686
cites work: Q3853107
cites work: Q3854601
cites work: Q3896478
cites work: Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
cites work: The completeness of the algebraic specification methods for computable data types
cites work: Algebraic specifications of computable and semicomputable data types
cites work: Q3893287
cites work: Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
cites work: Q3851592
cites work: Q3854600
cites work: Algebraic system specification and development. A survey and annotated bibliography
cites work: Q3893911
cites work: Termination of rewriting
cites work: Q3221381
cites work: Q4052071
cites work: Q4023900
cites work: Q4747503
cites work: The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
cites work: Q3687683
cites work: Computable Algebra, General Theory and Theory of Computable Fields
cites work: Q4002149
cites work: Q4385539
cites work: Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
Wikidata QID: Q127593013
description: scientific article; zbMATH DE number 759338