No label defined (Q4945246)
From MaRDI portal
scientific article; zbMATH DE number 1424055
Language | Label | Description | Also known as |
---|---|---|---|
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