| Producción científica y tecnológica | |||
mostrando 5 de 45 (Ver todas las publicaciones) | |||
| No. | Título | Revista | Año |
|---|---|---|---|
| 1) | A Logical Deductive Approach to Analyze and Synthesize a Class of Linguistic Expressions Using Rabbi Moshe Chaim Luzzatto 21 Logical Names | Computación y Sistemas | 2023 |
| 2) | Modelling and verification analysis of cooperative and non-cooperative games via a modal logic approach | Computación y Sistemas | 2021 |
| 3) | Modeling and verification analysis of ecological systems via a first order logic approach | Computacion y Sistemas | 2021 |
| 4) | Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability | Computación y Sistemas | 2021 |
| 5) | Axiomatization, computability and stability for discrete event time algorithms | Computación y Sistemas | 2020 |