Seguir
Sofía Santiago Fernández
Sofía Santiago Fernández
PhD student, Universitat de Barcelona
Dirección de correo verificada de ub.edu
Título
Citado por
Citado por
Año
Elementos de logica formalizados en Isabelle/HOL
S Santiago Fernández
2020
Tree rewriting system for RC
S Santiago-Fernández, JJ Joosten
The Proof Society Summer School and Workshop 2023, 0
Propositional Model Existence theorem’s formalisation in Isabelle/HOL
S Santiago-Fernández, MJH Doblado, JAA Jiménez
THE PROOF SOCIETY, 73, 0
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3