Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802)
From MaRDI portal
scientific article; zbMATH DE number 7376044
Language | Label | Description | Also known as |
---|---|---|---|
English | Bisimulation Invariant Monadic-Second Order Logic in the Finite |
scientific article; zbMATH DE number 7376044 |
Statements
28 July 2021
0 references
bisimulation
0 references
monadic second-order logic
0 references
composition method
0 references
0 references
Bisimulation Invariant Monadic-Second Order Logic in the Finite (English)
0 references