Author of the publication

Null boundary controllability of a 1-dimensional heat equation with an internal point mass.

, and . CDC, page 4803-4808. IEEE, (2016)

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

Null boundary controllability of a 1-dimensional heat equation with an internal point mass., and . CDC, page 4803-4808. IEEE, (2016)Algunas semánticas lógicas para reconocer implicación textual., , , , and . Res. Comput. Sci., (2014)Document clustering by relevant terms : an approach, , and . Proceedings of the Future Technologies Conference (FTC) 2019, page 610--617. Cham, Springer International Publishing, (2020)Membership Problem with Adjacency Matrix., , , and . Computación y Sistemas, (2021)Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment., , , , and . Computación y Sistemas, (2018)Medidas de similitud semántica aplicadas a una ontología de dominio., , and . Res. Comput. Sci., 147 (6): 119-131 (2018)Algoritmo basado en reglas de asociación para la extracción de relaciones no taxonómicas en corpus de dominio., , , and . Res. Comput. Sci., 148 (7): 277-288 (2019)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)Craig interpolation on the logic of knowledge., , , and . LANMR, volume 2264 of CEUR Workshop Proceedings, page 15-24. CEUR-WS.org, (2018)Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions., , and . Computación y Sistemas (CyS), (2023)