Queiroz, Ruy J.G.B. de
Queiroz, Ruy J. G. B. de 1958-
Queiroz, Ruy J. G. B.
Ruy de Queiroz matemático brasileiro
VIAF ID: 59253332 ( Personal )
Permalink: http://viaf.org/viaf/59253332
Preferred Forms
- 200 _ | ‡a Queiroz ‡b Ruy J. G. B. de
- 100 1 _ ‡a Queiroz, Ruy J. G. B.
- 100 1 _ ‡a Queiroz, Ruy J. G. B.
-
-
-
- 100 1 _ ‡a Queiroz, Ruy J. G. B. de
-
-
- 100 1 _ ‡a Queiroz, Ruy J. G. B. de ‡d 1958-
-
-
- 100 0 _ ‡a Ruy de Queiroz ‡c matemático brasileiro
4xx's: Alternate Name Forms (25)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
12th Workshop on Logic, Language, Information and Computation, Florianópolis, Brasil, 19 a 22 de julho de 2005 | |
The functional interpretation of logical deduction | |
Logic for concurrency and synchronisation | |
Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings | |
Model theory | |
Proceedings of WoLLIC'99 : May 25-28, 1999, Itatiaia | |
Teoría de modelos | |
WoLLIC 2007 |