Queiroz, Ruy J. G. B. de.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
The functional interpretation of logical deduction
by:
Queiroz, Ruy J. G. B. de.; Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; World Scientific (Firm)
(Language materials, printed)
Logic for concurrency and synchronisation
by:
Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(Language materials, printed)
The functional interpretation of logical deduction /
by:
Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; Queiroz, Ruy J. G. B. de.
(Language materials, printed)
Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Scedrov, Andre.; Hansen, Helle Hvid.; Queiroz, Ruy J. G. B. de.
(Language materials, printed)