Cost Automata, Safe Schemes, and Downward Closures (Q6044492)
From MaRDI portal
scientific article; zbMATH DE number 7687252
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cost Automata, Safe Schemes, and Downward Closures |
scientific article; zbMATH DE number 7687252 |
Statements
Cost Automata, Safe Schemes, and Downward Closures (English)
0 references
19 May 2023
0 references
cost logics
0 references
cost automata
0 references
downward closures
0 references
higher-order recursion schemes
0 references
safe recursion schemes
0 references
0 references
0 references
0 references
