( en | de | ru )

 

Disambiguierung von "Bárcenas, Everardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Model Checking of the Graded μ-calculus on Trees.

, , und . MICAI (1), Volume 9413 von Lecture Notes in Computer Science, Seite 178-189. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Noé Bárcenas Torres

Alberto Bárcenas Reyes

Edgar Everardo Guerra Blanco

 

Weitere Publikationen von Autoren mit dem selben Namen

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