Characterizing specification languages which admit initial semantics
type: Item
instance of: scholarly article
title: Characterizing specification languages which admit initial semantics
zbMATH Open document ID: 0536.68011
DOI: 10.1016/0304-3975(84)90125-7
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3852397
zbMATH Keywords: abstract data types
zbMATH Keywords: reducibility
zbMATH Keywords: equivalence
author: Bernd Mahr
author: Johann A. Makowsky
MaRDI profile type: Publication
full work available at URL: 0304-3975(84)90125-7
OpenAlex ID: W2002486184
cites work: Q3666908
cites work: Q3906394
cites work: Q4111746
cites work: Q3853107
cites work: Q4074877
cites work: Q3667921
cites work: Q5572358
cites work: Q3956380
cites work: Q3673087
cites work: Q3216138
cites work: Q4124795
cites work: Completeness of calculii for axiomatically defined classes of algebras
Wikidata QID: Q127840246
description: scientific article; zbMATH DE number 3852397