E-LIB Suche - Ergebnisse für: Manzano, María L.

1

Propositional Type Theory of Indeterminacy:

Aranda, Víctor ; Martins, Manuel ; Manzano, María
Studia Logica. , 2024

Link: https://doi.org/10.1007/..

2

HYBRID PARTIAL TYPE THEORY:

MANZANO, MARÍA ; HUERTAS, ANTONIA ; BLACKBURN, PATRICK..
The Journal of Symbolic Logic. , 2023

Link: https://doi.org/10.1017/..

3

Exorcising the phantom zone:

Blackburn, Patrick ; Martins, Manuel ; Manzano, María.
Information and Computation. 287 (2022) - p. 104754 , 2022

Link: https://doi.org/10.1016/..

4

Non-pharmacologic direct cost of a simplified strategy with..:

Turnes, Juan ; Rincón, Diego ; Calleja, José L....
Gastroenterología y Hepatología (English Edition). 45 (2022) 5 - p. 342-349 , 2022

Link: https://doi.org/10.1016/..

5

Hepatocellular carcinoma risk in hepatitis C stage‐3 fibros..:

Sánchez‐Azofra, María ; Fernández, Inmaculada ; García‐Buey, María L....
Liver International. 41 (2021) 12 - p. 2885-2891 , 2021

Link: https://doi.org/10.1111/..

6

Rigid First-Order Hybrid Logic:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Blackburn, Patrick ; Martins, Manuel ; Manzano, María. - p. 53-69 , 2019

Link: https://doi.org/10.1007/..

7

Completeness in Equational Hybrid Propositional Type Theory:

Manzano, Maria ; Martins, Manuel ; Huertas, Antonia
Studia Logica: An International Journal for Symbolic Logic. 107 (2019) 6 - p. 1159-1198 , 2019

Link: https://www.jstor.org/st..

8

Quantifiers and Conceptual Existence:

, In: Mario Bunge: A Centenary Festschrift,

Manzano, María ; Moreno, Manuel Crescencio - p. 117-138 , 2019

Link: https://doi.org/10.1007/..

9

Correction: Randomized prospective study evaluating tenofov..:

Buti, María ; Manzano, María L. ; Morillas, Rosa M....
PLOS ONE. 13 (2018) 6 - p. e0199926 , 2018

Link: https://doi.org/10.1371/..

10

Completeness in Equational Hybrid Propositional Type Theory:

Manzano, Maria ; Martins, Manuel ; Huertas, Antonia
Studia Logica. 107 (2018) 6 - p. 1159-1198 , 2018

Link: https://doi.org/10.1007/..

11

Identity, equality, nameability and completeness. Part II:

Moreno, Manuel Crescencio ; Manzano, María
Bulletin of the Section of Logic. 47 (2018) 3 - p. , 2018

Link: https://doi.org/10.18778..

12

Identity, Equality, Nameability and Completeness:

Moreno, Manuel Crescencio ; Manzano, María
Bulletin of the Section of Logic. 46 (2017) 3/4 - p. , 2017

Link: https://doi.org/10.18778..

13

Effectiveness and Safety of Entecavir or Tenofovir in a Spa..:

Riveiro-Barciela, Mar ; Tabernero, David ; Calleja, José L....
Digestive Diseases and Sciences. 62 (2017) 3 - p. 784-793 , 2017

Link: https://doi.org/10.1007/..

14

A note on Visions of Henkin:

Manzano, María ; Alonso, Enrique
Synthese. 194 (2017) 6 - p. 1839-1840 , 2017

Link: https://www.jstor.org/st..

15

Randomized prospective study evaluating tenofovir disoproxi..:

Buti, María ; Manzano, María L. ; Morillas, Rosa M....
PLOS ONE. 12 (2017) 9 - p. e0184550 , 2017

Link: https://doi.org/10.1371/..