Variants of Collapsible Pushdown Systems (Q4649568): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
label / en | label / en | ||
Variants of Collapsible Pushdown Systems | |||
Property / full work available at URL | |||
Property / full work available at URL: http://frontiersinai.com/turingfiles/September/39.pdf / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2293153760 / rank | |||
Normal rank | |||
Property / title | |||
Variants of Collapsible Pushdown Systems (English) | |||
Property / title: Variants of Collapsible Pushdown Systems (English) / rank | |||
Normal rank |
Latest revision as of 09:02, 30 July 2024
scientific article; zbMATH DE number 6109854
Language | Label | Description | Also known as |
---|---|---|---|
English | Variants of Collapsible Pushdown Systems |
scientific article; zbMATH DE number 6109854 |
Statements
22 November 2012
0 references
collapsible pushdown systems
0 references
determinization
0 references
infinite hierarchy
0 references
shrinking lemma
0 references
reachability
0 references
Variants of Collapsible Pushdown Systems (English)
0 references