University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Michael Vanden Boom : Publications

By dateBy titleBy typeBibtex

[1]

Weak Cost Monadic Logic over Infinite Trees

Michael Vanden Boom

In 36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011). August, 2011.

Details | BibTeX | Download  (pdf)

[2]

Quasi−Weak Cost Automata: A New Variant of Weakness

Denis Kuperberg and Michael Vanden Boom

Accepted to FSTTCS 2011.

Details | BibTeX