María Manzano

According to our database1, María Manzano authored at least 9 papers between 2007 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Exorcising the phantom zone.
Inf. Comput., 2022

2019
Completeness in Equational Hybrid Propositional Type Theory.
Stud Logica, 2019

Rigid First-Order Hybrid Logic.
Proceedings of the Logic, Language, Information, and Computation, 2019

2017
A note on Visions of Henkin.
Synth., 2017

Leon Henkin: A Logician's View on Mathematics Education.
FLAP, 2017

2016
FLEX End-to-End Mission Performance Simulator.
IEEE Trans. Geosci. Remote. Sens., 2016

2015
Visions of Henkin.
Synth., 2015

2014
Completeness in Hybrid Type Theory.
J. Philos. Log., 2014

2007
Editorial "Tools for Teaching Logic".
Log. J. IGPL, 2007


  Loading...