Ruy J.G.B. de Queiroz profile picture

Ruy J.G.B. de Queiroz

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

Stand Alone

Logic for Concurrency and Synchronisation
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Functional Interpretation of Logical Deduction
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings
Logic, Language, Information, and Computation