Repository | People

138992

References

Amílcar Sernadas

in English

X
A roadmap to decidability

2015

with Rasga João, Sernadas Cristina

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

Open Access Link