C-SHORe (Q5244783)
From MaRDI portal
scientific article; zbMATH DE number 6421023
Language | Label | Description | Also known as |
---|---|---|---|
English | C-SHORe |
scientific article; zbMATH DE number 6421023 |
Statements
C-SHORe (English)
0 references
30 March 2015
0 references
collapsible pushdown systems
0 references
higher-order
0 references
model-checking
0 references
recursion schemes
0 references
verification
0 references