Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies.

Michaela Slaats

Published in: AlgoSyn (2010)

Keyphrases

higher order
natural images
distributed systems
neural network
search engine
artificial intelligence
computer systems
complex systems
model checking