María Manzano

12 papers C 1Journal 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Hybrid Partial Type Theory.
J. Symb. Log.
María Manzano, Antonia Huertas, Patrick Blackburn, Manuel A. Martins, Víctor Aranda
2024 J jnl
Propositional Type Theory of Indeterminacy.
Stud Logica
Víctor Aranda, Manuel A. Martins, María Manzano
2022 J jnl
Exorcising the phantom zone.
Inf. Comput.
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2019 J jnl
Completeness in Equational Hybrid Propositional Type Theory.
Stud Logica
María Manzano, Manuel A. Martins, Antonia Huertas
2019 C conf
Rigid First-Order Hybrid Logic.
WoLLIC
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2017 J jnl
A note on Visions of Henkin.
Synth.
María Manzano, Enrique Alonso
2017 J jnl
Leon Henkin: A Logician's View on Mathematics Education.
FLAP
María Manzano, Nitsa Movshovitz-Hadar, Diane Resek
2016 J jnl
FLEX End-to-End Mission Performance Simulator.
IEEE Trans. Geosci. Remote. Sens.
Jorge Vicent, Neus Sabater, Carolina Tenjo, Juan Ramon Acarreta, María Manzano, Juan Pablo Rivera, Pedro Jurado, Raffaella Franco, Luis Alonso, Jochem Verrelst, José F. Moreno
2015 J jnl
Visions of Henkin.
Synth.
María Manzano, Enrique Alonso
2014 J jnl
Completeness in Hybrid Type Theory.
J. Philos. Log.
Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
2011 — ed.
Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
TICTTL
Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano
2007 J jnl
Editorial "Tools for Teaching Logic".
Log. J. IGPL
Hans van Ditmarsch, María Manzano