Iterative and recursive matrix theories

DOI10.1016/0021-8693(84)90035-8MaRDI QIDQ595766zbMATH OpenOpenAlexFDO

Authors David B. Benson, Irène Guessarian

Publication date 1984

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0021-8693(84)90035-8

zbMATH Keywords

formal power seriesmatrix theoryalgebraic theoryalgebraic systems of equationsclosed under iteration and recursionmatricial theorypositive semiringssemantics of nondeterministic programming languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Basic linear algebra (15A99) Specification and verification (program logics, model checking, etc.) (68Q60) Formal power series rings (13F25) Semirings (16Y60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of machines, automata (18B20) Equations in general fields (12E12)

Cites work

• scientific article; zbMATH DE number 3972168 (Why is no real title available?)
• scientific article; zbMATH DE number 3660804 (Why is no real title available?)
• scientific article; zbMATH DE number 3738923 (Why is no real title available?)
• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 3348324 (Why is no real title available?)
• A Perspective View of Discrete Automata and Their Design
• Deterministic and nondeterministic flowchart interpretations
• First-order dynamic logic
• Formal computations of non deterministic recursive program schemes
• Matricial theories
• On context-free languages and push-down automata
• Regular trees and the free iterative theory
• The existence and construction of free iterative theories

Cited in

(3)

• On flowchart theories. II: The nondeterministic case
• Equational logic of circular data type specification
• Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras.

This page was built for publication: Iterative and recursive matrix theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q595766)