( en | de | ru )

 

Disambiguation of "Manzano, María"

Author of the publication

copydeleteadd this publication to your clipboard
Rigid First-Order Hybrid Logic.

, , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 53-69. Springer, (2019)

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.

Petra Marialke-Kandaouroff

Manuel Mariadasa

Boris Mariacher

Malaiyalam Mariappan

Norman Marian

 

Other publications of authors with the same name

Rigid First-Order Hybrid Logic., , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 53-69. Springer, (2019)Editorial "Tools for Teaching Logic"., and . Log. J. IGPL, 15 (4): 289-292 (2007)Diagonalisation and Church's Thesis: Kleene's Homework, and . History and Philosophy of Logic, 26 (2): 93--113 (May 2005)Experimental validation of robust non-linear state observers for autonomous surface vehicles equipped with position sensors., , , and . CCTA, page 357-362. IEEE, (2022)Oracle-Based Economic Predictive Control., , , and . CDC, page 4246-4251. IEEE, (2019)Robust learning-based MPC for nonlinear constrained systems., , , and . Autom., (2020)Data-based Robust MPC with Componentwise Hölder Kinky Inference., , , and . CDC, page 6449-6454. IEEE, (2019)Nonlinear model predictive control applied to robust guidance of autonomous surface vehicles., , , and . CDC, page 5735-5740. IEEE, (2021)Localised Kinky Inference., , , and . ECC, page 985-992. IEEE, (2019)Implementation of Fast Predictive Controllers on FPGA Platforms based on Parallel Lipschitz Interpolation., , , and . ECC, page 1537-1542. IEEE, (2021)