No label defined (Q5275365)
From MaRDI portal
scientific article; zbMATH DE number 6744916
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6744916 |
Statements
13 July 2017
0 references
reachability analysis
0 references
saturation technique
0 references
pushdown automata
0 references
ordered pushdown automata
0 references
higher-order pushdown automata
0 references
higher-order recursive scheme
0 references
simply- typed lambda calculus
0 references
Krivine machine
0 references