Multipebble Simulations for Alternating Automata

DOI10.1007/978-3-642-15375-4_21zbMath1287.68094OpenAlexW46737949MaRDI QIDQ3584938

Lorenzo Clemente, Richard Mayr

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Büchi Automata Can Have Smaller Quotients ⋮ Unnamed Item

This page was built for publication: Multipebble Simulations for Alternating Automata