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 |