A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria

First Page		Document Content
Date: 2015-12-08 05:52:17		A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tyrex.inria.fr Download Document from Source Website File Size: 589,81 KB Share Document on Facebook