MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Regular Sets of Higher-Order Pushdown Stacks." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Regular sets of higher-order pushdown stacks
by Arnaud Carayol — 2005 — In MFCS
…Regular sets of higher-order pushdown stacks Arnaud Carayol Irisa – Campus de Beaulieu – 35042…
Cited by 5 (2 self) – Add To MetaCart

Diploma Thesis Infinite Games over Higher-Order Pushdown Systems
by Rheinisch-westfälische Technische Hochschule Aachen, Michaela Slaats, Supervisors Dr, A. Carayol, Prof Dr, Dr. H. C. W. Thomas
… of higher-order pushdown stacks is the following. We define a set of stacks to be regular if it can…
Add To MetaCart

Positional Strategies for Higher-Order Pushdown Parity Games
by Arnaud Carayol, Michaela Slaats
… pushdown systems by using higher-order stacks, which are nested stacks of stacks. In this article, we…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB