Author of the publication

Development of an Interpreter for LRT using the Exact Real Number Paradigm.

, , and . Research in Computing Science, (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.

 

Other publications of authors with the same name

Análisis de deserción escolar con minería de datos., , , , and . Research in Computing Science, (2015)A Simulator for Teaching Automatas and Formal Languages - FLyA., , , and . ICEIS (4), page 175-178. (2009)An Approximate Algorithm for the Chromatic Number of a Graph., , and . CTW, page 104-107. (2012)A Fast and Efficient Method for #2SAT via Graph Transformations., , , and . MICAI (1), volume 10632 of Lecture Notes in Computer Science, page 95-106. Springer, (2017)Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs., , and . LANMR, volume 1287 of CEUR Workshop Proceedings, page 1-8. CEUR-WS.org, (2014)Some Variations of Upper Confidence Bound for General Game Playing., , and . MCPR, volume 11524 of Lecture Notes in Computer Science, page 68-79. Springer, (2019)Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms., , , and . Electron. Notes Theor. Comput. Sci., (2015)Preface., and . Electron. Notes Theor. Comput. Sci., (2016)Preface., and . Electron. Notes Theor. Comput. Sci., (2015)Computing the Clique-width of Cactus Graphs., , and . Electron. Notes Theor. Comput. Sci., (2016)