( en | de | ru )

 

Disambiguation of "Fontaine, Gaëlle"

Author of the publication

copydeleteadd this publication to your clipboard
Cycle Detection in Computation Tree Logic.

, , , , and . GandALF, volume 226 of EPTCS, page 164-177. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gaëlle Calvary

Gaëlle Debret

Gaëlle Garet

Gaëlle Rivory

Gaëlle Letort

 

Other publications of authors with the same name

Some modal aspects of XPath., , and . J. Appl. Non Class. Logics, 20 (3): 139-171 (2010)Continuous Fragment of the mu-Calculus.. CSL, volume 5213 of Lecture Notes in Computer Science, page 139-153. Springer, (2008)Querying Incomplete Graphs with Data., and . AMW, volume 1189 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)On the Data Complexity of Consistent Query Answering., , and . Theory Comput. Syst., 57 (4): 843-891 (2015)An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees., and . FICS, page 30-38. Institute of Cybernetics, (2009)On the data complexity of consistent query answering., , and . ICDT, page 22-33. ACM, (2012)Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties., and . Logical Methods in Computer Science, (2018)Vietoris Bisimulations., , and . J. Log. Comput., 20 (5): 1017-1040 (2010)Why is it Hard to Obtain a Dichotomy for Consistent Query Answering?. LICS, page 550-559. IEEE Computer Society, (2013)Why Is It Hard to Obtain a Dichotomy for Consistent Query Answering?. ACM Trans. Comput. Log., 16 (1): 7:1-7:24 (2015)