Q5147341 (Q5147341): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (One intermediate revision by one other user not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Progressive Solutions to a Parallel Automata Equation / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3703299 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Approach to functional specification of automaton systems. I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Approximation of sets of superwords by \(L\)-language formulas / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Interacting automata / rank | |||
Normal rank | |||
Latest revision as of 09:56, 24 July 2024
scientific article; zbMATH DE number 7301741
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7301741 |
Statements
26 January 2021
0 references
reactive system
0 references
language \(L\) specification
0 references
\( \Sigma \)-automaton
0 references
synchronous composition of \(\Sigma \)-automata
0 references
inequality over \(\Sigma \)-automata
0 references
maximal solution
0 references
0 references
