Queiroz, Ruy J. G. B. de.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Logic for concurrency and synchronisation
by:
Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(Electronic resources)
The functional interpretation of logical deduction
by:
Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; Queiroz, Ruy J. G. B. de.; World Scientific (Firm)
(Electronic resources)
Logic, language, information, and computation28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
by:
(1998 :); Ciabattoni, Agata.; Pimentel, Elaine.; Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(Electronic resources)
Logic, language, information, and computation27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings /
by:
(1998 :); Queiroz, Ruy J. G. B. de.; Silva, Alexandra; SpringerLink (Online service); Wassermann, Renata.
(Electronic resources)
Logic, language, information, and computation29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
(1998 :); Hansen, Helle Hvid.; Queiroz, Ruy J. G. B. de.; Scedrov, Andre.; SpringerLink (Online service)
(Electronic resources)