Ruy J. G. B. de Queiroz profile picture

Ruy J. G. B. de Queiroz

Is this your author profile? Create an account to customize it!

Stand Alone

Logic for concurrency and synchronisation
The Functional Interpretation of Logical Deduction
Logic for concurrency and synchronisation
Logic, Language, Information, and Computation 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings
Logic, Language, Information, and Computation