Complexity theory and the operational structure of algebraic programming systems
type: Item
instance of: scholarly article
title: Complexity theory and the operational structure of algebraic programming systems
zbMATH Open document ID: 0489.68005
DOI: 10.1007/BF00264163
author: S. Singh
published in: Acta Informatica
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3770914
zbMATH Keywords: algebraic data type
zbMATH Keywords: deterministic and nondeterministic control constructs and assignments
zbMATH Keywords: operational semantics
zbMATH Keywords: classification of programming systems
zbMATH Keywords: space and time resources
zbMATH Keywords: term algebra
zbMATH Keywords: speed of growth of a data type
zbMATH Keywords: growth function
zbMATH Keywords: polynomial time implementable data types
zbMATH Keywords: polynomial space enumerable data types
zbMATH Keywords: deterministic polynomial space bounded computations
zbMATH Keywords: nondeterministic polynomial space bounded computations
zbMATH Keywords: polynomial time bounded computation
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3770914