1
Kérwá
artículo preliminar
Elimination of quantifiers of a theory of real closed rings.
Tekijä Guier Acosta, Jorge Ignacio
Julkaistu 2022
Organisaatio: Universidad de Costa Rica
Repositorio: Kérwá
Lisää suosikkeihin
Tallennettuna:
2
Kérwá
comunicación de congreso
Local divisibility and model completeness of a theory of real closed rings
Tekijä Guier Acosta, Jorge Ignacio
Julkaistu 2021
Organisaatio: Universidad de Costa Rica
Repositorio: Kérwá
Lisää suosikkeihin
Tallennettuna:
Työkalut: RSS-syöte — Lähetä haku sähköpostilla —