Logical Methods in Computer Science

Keyphrases

Publications

volume 5, number 2, 2009

Guillaume Bonfante, Yves Guiraud
Programs as polygraphs: computability and complexity Logical Methods in Computer Science 5 (2) (2009)
Hugo Gimbert, Florian Horn
Solving Simple Stochastic Games with Few Random Vertices Logical Methods in Computer Science 5 (2) (2009)