Cachat, Thierry
- The Complexity of Games on Higher Order Pushdown Automata
2007/05/02 by Thierry Cachat, Igor Walukiewicz, Cachat, Thierry +1 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems