CaRet With Forgettable Past (Q4982130)
From MaRDI portal
scientific article; zbMATH DE number 6418750
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CaRet With Forgettable Past |
scientific article; zbMATH DE number 6418750 |
Statements
CaRet With Forgettable Past (English)
0 references
23 March 2015
0 references
verification
0 references
expressive completeness
0 references
pushdown model checking
0 references
CaRet
0 references
NCaRet
0 references
