( en | de | ru )

 

Disambiguation of "Lavalle, Jesús"

Author of the publication

copydeleteadd this publication to your clipboard
On the Model Checking of the Graded μ-calculus on Trees.

, , and . MICAI (1), volume 9413 of Lecture Notes in Computer Science, page 178-189. Springer, (2015)

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.

Pedro Miguel d' Jesús Montilva

Jesús Araiza

Jesús Arambarri

Jesús Odriozola

Jesús Valle

 

Other publications of authors with the same name

On the Model Checking of the Graded μ-calculus on Trees., , and . MICAI (1), volume 9413 of Lecture Notes in Computer Science, page 178-189. Springer, (2015)Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals., and . MICAI (1), volume 8265 of Lecture Notes in Computer Science, page 80-91. Springer, (2013)Captura de atributos discriminativos., , , , and . Res. Comput. Sci., 148 (3): 61-69 (2019)Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions., , and . Computación y Sistemas (CyS), (2023)Document clustering by relevant terms : an approach, , and . Proceedings of the Future Technologies Conference (FTC) 2019, page 610--617. Cham, Springer International Publishing, (2020)Medidas de similitud semántica aplicadas a una ontología de dominio., , and . Res. Comput. Sci., 147 (6): 119-131 (2018)Craig interpolation on the logic of knowledge., , , and . LANMR, volume 2264 of CEUR Workshop Proceedings, page 15-24. CEUR-WS.org, (2018)A Note on Constructive Interpolation for the Multi-Modal Logic Km., , , and . LANMR (Selected Papers), volume 354 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2019)Equivalences Among Polarity Algorithms., , , , and . Stud Logica, 106 (2): 371-395 (2018)