Iterative and recursive matrix theories
type: Item
instance of: scholarly article
title: Iterative and recursive matrix theories
zbMATH Open document ID: 0527.18004
DOI: 10.1016/0021-8693(84)90035-8
author: David B. Benson
author: Irène Guessarian
published in: Journal of Algebra
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 12E12
Mathematics Subject Classification ID: 13F25
Mathematics Subject Classification ID: 15A99
Mathematics Subject Classification ID: 16Y60
Mathematics Subject Classification ID: 18B20
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3836292
zbMATH Keywords: positive semirings
zbMATH Keywords: semantics of nondeterministic programming languages
zbMATH Keywords: matrix theory
zbMATH Keywords: algebraic theory
zbMATH Keywords: closed under iteration and recursion
zbMATH Keywords: formal power series
zbMATH Keywords: algebraic systems of equations
zbMATH Keywords: matricial theory
MaRDI profile type: Publication
full work available at URL: 0021-8693(84)90035-8
OpenAlex ID: W2034351214
cites work: Formal computations of non deterministic recursive program schemes
cites work: Q3859267
cites work: The existence and construction of free iterative theories
cites work: Matricial theories
cites work: A Perspective View of Discrete Automata and Their Design
cites work: Q5623842
cites work: Regular trees and the free iterative theory
cites work: Q3738547
cites work: First-order dynamic logic
cites work: Deterministic and nondeterministic flowchart interpretations
cites work: Q3926046
cites work: Q4155837
cites work: On context-free languages and push-down automata
description: scientific article; zbMATH DE number 3836292