Login / Signup
Ximena Estrada Zavaleta
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Temporal Logic
Databases
Feature Extraction
Top Venues
Computación y Sistemas (CyS)
</>
Publications
</>
Favio Ezequiel Miranda-Perea
,
Ximena Estrada Zavaleta
,
Lourdes Del Carmen González-Huesca
Fitch-Style Modal Necessity as a Substructural Sequent-Style System.
Computación y Sistemas (CyS)
27 (1) (2023)