Sernadas, Cristina.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems / by: Carnielli, Walter.; Coniglio, Marcelo.; Gabbay, Dov M.; Gouveia, Paula.; Sernadas, Cristina.; SpringerLink (Online service) (Electronic resources)

Decidability of logical theories and their combination by: Rasga, Joao.; Sernadas, Cristina.; SpringerLink (Online service) (Electronic resources)

Subjects