Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains (Q3522906)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains |
scientific article; zbMATH DE number 5321058
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains |
scientific article; zbMATH DE number 5321058 |
Statements
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains (English)
0 references
4 September 2008
0 references
0.83434784
0 references
0.82832867
0 references
0.82760155
0 references
0.8239213
0 references
0.82112443
0 references
0.8164861
0 references
0.81526804
0 references
