Mu-calculus satisfiability with arithmetic constraints (Q2226964)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7308240
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mu-calculus satisfiability with arithmetic constraints |
scientific article; zbMATH DE number 7308240 |
Statements
Mu-calculus satisfiability with arithmetic constraints (English)
0 references
9 February 2021
0 references
0.8260905146598816
0 references
0.8042452335357666
0 references
0.8042452335357666
0 references
0.7890497446060181
0 references
0.7885587215423584
0 references
