No label defined (Q4636282)
From MaRDI portal
scientific article; zbMATH DE number 6863850
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6863850 |
Statements
23 April 2018
0 references
propositional dynamic logic
0 references
parallel composition
0 references
definability
0 references
computability
0 references