Percorrer por autor C. Sernadas
Mostrar resultados 1-2 de 2.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 2008 | Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification | Luís Cruz-Filipe; J. Rasga; A. Sernadas; C. Sernadas | article |  |
| 2008 | Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems | Luís Cruz-Filipe; A. Sernadas; C. Sernadas | article | |
