( en | de | ru )

 

Disambiguation of "Molero-Castillo, Guillermo"

Author of the publication

copydeleteadd this publication to your clipboard
Presburger Constraints in Trees.

, , , and . Computación y Sistemas, (2020)

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.

Beatriz Molero

Mayarí Castillo

Katty Castillo

Roderick Castillo

Guillermo Medrano

 

Other publications of authors with the same name

Knowledge Graphs for Analyzing Thermal Comfort: A Proposal., , and . Res. Comput. Sci., 148 (9): 9-19 (2019)Breve revisión sobre el reconocimiento de la Lengua de Señas., , , and . Res. Comput. Sci., (2016)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)Expressive Context Modeling with Description Logics., , , and . KGSWC, volume 1029 of Communications in Computer and Information Science, page 174-185. Springer, (2019)On the consistency of context-aware systems., , , and . J. Intell. Fuzzy Syst., 34 (5): 3373-3383 (2018)A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence., , , , and . Res. Comput. Sci., 149 (11): 115-124 (2020)Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm., , , , and . Program. Comput. Softw., 46 (8): 652-660 (2020)Mu-Calculus Satisfiability with Arithmetic Constraints., , , , and . Program. Comput. Softw., 46 (8): 503-510 (2020)Characterization of Objects in Indoor Spaces of Human Occupation Using Knowledge Graphs., and . CCE, page 1-6. IEEE, (2020)