Cristina Sernadas

Libros
Decidability of Logical Theories and Their Combination Decidability of Logical Theories and Their Combination
Decidability of Logical Theories and Their Combination
2020
Analysis and Synthesis of Logics Analysis and Synthesis of Logics
Analysis and Synthesis of Logics
2008