E-LIB Suche - Ergebnisse für: Muñoz-Velasco, E.

1

Fuzzy relational Galois connections between fuzzy transitiv..:

Cabrera, I.P. ; Cordero, P. ; Muñoz-Velasco, E...
Fuzzy Sets and Systems. 463 (2023) - p. 108456 , 2023

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

2

Relational Connections Between Preordered Sets:

, In: Lecture Notes in Electrical Engineering; Applied Physics, System Science and Computers III,

Cabrera, I. P. ; Cordero, P. ; Muñoz-Velasco, E.. - p. 163-169 , 2019

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

3

A multimodal logic for closeness:

Burrieza, A. ; Muñoz-Velasco, E. ; Ojeda-Aciego, M.
Journal of Applied Non-Classical Logics. 27 (2017) 3-4 - p. 225-237 , 2017

Link: https://doi.org/10.1080/..

4

A hybrid qualitative approach for relative movements:

Goli ska-Pilarek, J. ; Munoz-Velasco, E.
Logic Journal of IGPL. 23 (2015) 3 - p. 410-420 , 2015

Link: https://doi.org/10.1093/..

5

A logic framework for reasoning with movement based on fuzz..:

Muñoz-Velasco, E. ; Burrieza, A. ; Ojeda-Aciego, M.
Fuzzy Sets and Systems. 242 (2014) - p. 114-131 , 2014

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

6

Relational dual tableau decision procedure for modal logic :

Golinska-Pilarek, J. ; Munoz-Velasco, E. ; Mora-Bonilla, A.
Logic Journal of IGPL. 20 (2011) 4 - p. 747-756 , 2011

Link: https://doi.org/10.1093/..

7

Implementing a relational theorem prover for modal logic:

Mora, A. ; Muñoz-Velasco, E. ; Golińska-Pilarek, J.
International Journal of Computer Mathematics. 88 (2011) 9 - p. 1869-1884 , 2011

Link: https://doi.org/10.1080/..

8

A new deduction system for deciding validity in modal logic..:

Golinska-Pilarek, J. ; Munoz-Velasco, E. ; Mora, A.
Logic Journal of IGPL. 19 (2010) 2 - p. 425-434 , 2010

Link: https://doi.org/10.1093/..

9

Relational approach for a logic for order of magnitude qual..:

Golinska-Pilarek, J. ; Munoz-Velasco, E.
Logic Journal of IGPL. 17 (2009) 4 - p. 375-394 , 2009

Link: https://doi.org/10.1093/..

10

Functional systems in the context of temporal×modal logics ..:

Burrieza, A. ; de Guzmán, I. P. ; Muñoz-Velasco, E.
International Journal of Computer Mathematics. 86 (2009) 10-11 - p. 1696-1706 , 2009

Link: https://doi.org/10.1080/..

11

Dual tableau for a multimodal logic for order of magnitude ..:

Golińska-Pilarek, J. ; Muñoz-Velasco, E.
International Journal of Computer Mathematics. 86 (2009) 10-11 - p. 1707-1718 , 2009

Link: https://doi.org/10.1080/..

12

Generalization of some properties of relations in the conte..:

Burrieza, A. ; De Guzmán, I. P. ; Muñoz-Velasco, E.
International Journal of Computer Mathematics. 85 (2008) 3-4 - p. 371-383 , 2008

Link: https://doi.org/10.1080/..

13

Acute phase characteristics and long-term complications of ..:

Franco-Moreno, A. ; Brown-Lavalle, D. ; Campos-Arenas, M....
BMC Pulmonary Medicine. 23 (2023) 1 - p. , 2023

Link: https://doi.org/10.1186/..

14

List of contributors:

, In: Biomedical Innovations to Combat COVID-19,

Alcala Aristiguieta, Ana Carolina ; Almendarez-Rodríguez, C. ; Alvarado-Orozco, J.M.... - p. xi-xiii , 2022

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

15

Increased Incidence of In-Hospital Ischemic Stroke During S..:

Sierra-Hidalgo, Fernando ; Aragón Revilla, Esther ; Arranz García, Paz...
Neurocritical Care. 36 (2021) 1 - p. 208-215 , 2021

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