Iterative and recursive matrix theories (Q595766): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Irène Guessarian / rank
Normal rank
 
Property / author
 
Property / author: Irène Guessarian / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0021-8693(84)90035-8 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2034351214 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal computations of non deterministic recursive program schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3859267 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The existence and construction of free iterative theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matricial theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Perspective View of Discrete Automata and Their Design / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5623842 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regular trees and the free iterative theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3738547 / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-order dynamic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deterministic and nondeterministic flowchart interpretations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3926046 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4155837 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On context-free languages and push-down automata / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:16, 14 June 2024

scientific article
Language Label Description Also known as
English
Iterative and recursive matrix theories
scientific article

    Statements

    Iterative and recursive matrix theories (English)
    0 references
    0 references
    0 references
    1984
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    positive semirings
    0 references
    semantics of nondeterministic programming languages
    0 references
    matrix theory
    0 references
    algebraic theory
    0 references
    closed under iteration and recursion
    0 references
    formal power series
    0 references
    algebraic systems of equations
    0 references
    matricial theory
    0 references
    0 references