( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Model Checking of the Graded μ-calculus on Trees.

, , и . MICAI (1), том 9413 из Lecture Notes in Computer Science, стр. 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.

Noé Bárcenas Torres

Alberto Bárcenas Reyes

Edgar Everardo Guerra Blanco

 

Другие публикации лиц с тем же именем

On the consistency of context-aware systems., , , и . J. Intell. Fuzzy Syst., 34 (5): 3373-3383 (2018)Completeness for the paraconsistent logic CG'3 based on maximal theories., и . LANMR, том 2585 из CEUR Workshop Proceedings, стр. 119-130. CEUR-WS.org, (2019)Consistency checking of attention aware systems., , , и . LANMR, том 2585 из CEUR Workshop Proceedings, стр. 13-23. CEUR-WS.org, (2019)Reasoning on expressive description logics with arithmetic constraints., , , , и . CONIELECOMP, стр. 180-185. IEEE, (2016)Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals., и . MICAI (1), том 8265 из Lecture Notes in Computer Science, стр. 80-91. Springer, (2013)LBP and Machine Learning for Diabetic Retinopathy Detection., , , , и . IDEAL, том 8669 из Lecture Notes in Computer Science, стр. 110-117. Springer, (2014)A Note on Constructive Interpolation for the Multi-Modal Logic Km., , , и . LANMR (Selected Papers), том 354 из Electronic Notes in Theoretical Computer Science, стр. 3-16. Elsevier, (2019)Craig interpolation on the logic of knowledge., , , и . LANMR, том 2264 из CEUR Workshop Proceedings, стр. 15-24. CEUR-WS.org, (2018)Expressive Context Modeling with Description Logics., , , и . KGSWC, том 1029 из Communications in Computer and Information Science, стр. 174-185. Springer, (2019)Depth-first search satisfiability of the μ-calculus with converse over trees., , , и . CONIELECOMP, стр. 1-7. IEEE, (2017)