Polymorphic regular tree types and patterns (Q5348917)
From MaRDI portal
scientific article; zbMATH DE number 6763176
Language | Label | Description | Also known as |
---|---|---|---|
English | Polymorphic regular tree types and patterns |
scientific article; zbMATH DE number 6763176 |
Statements
Polymorphic regular tree types and patterns (English)
0 references
21 August 2017
0 references
polymorphism
0 references
subtyping
0 references
tree automata
0 references