Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation (Q2915051)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation |
scientific article |
Statements
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation (English)
0 references
21 September 2012
0 references
full hybrid mu-calculus
0 references
argumentation
0 references
bisimulation
0 references
