No label defined (Q4945246)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Publication:4945246 |
scientific article; zbMATH DE number 1424055
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1424055 |
Statements
20 September 2000
0 references
guardedness
0 references
\(\mu\)-calculus
0 references
loop-connectedness
0 references
hierarchical system of equations
0 references
distributive lattice
0 references
variable dependence graph
0 references
regular tree pattern-matching
0 references
0.7191252112388611
0 references
0.7184520363807678
0 references
0.707223653793335
0 references
0.7018750309944153
0 references
0.6983550190925598
0 references
