Repository | Directory | Profile

138991

Cristina Sernadas

Bibliography ²

A roadmap to decidability

2015

João Rasga Cristina Sernadas Amílcar Sernadas

in: The road to universal logic I, Basel : Birkhäuser

Open Access Link

Quantum institutions

2006

Carlos Caleiro Cristina Sernadas

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period