Retchkiman Konigsberg, Zvi, Instituto Politécnico Nacional, Centro de Investigación en Computación, Mexico

• Vol 24, No 4 (2020): 24(4)2020 - Articles
  Axiomatization, Computability and Stability for Discrete Event Time Algorithms
  Abstract  PDF
• Vol 25, No 2 (2021): 25(2) 2021 - Articles
  Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach
  Abstract  PDF