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

algebraic systems of equationsalgebraic theoryclosed under iteration and recursionformal power seriesmatricial theorymatrix theorypositive semiringssemantics of nondeterministic programming languages

Mathematics Subject Classification ID

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

Cites work

• 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
• 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?)
• 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)