Queiroz, Ruy J.G.B. de
Queiroz, Ruy J. G. B. de 1958-
Queiroz, Ruy J. G. B.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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
-
100 1 _ ‡a Queiroz, Ruy J. G. B. de
-
100 1 _
‡a
Queiroz, Ruy J. G. B. de
-
100 1 _ ‡a Queiroz, Ruy J. G. B. de. ‡d (1958- ).
-
100 1 _
‡a
Queiroz, Ruy J. G. B. de
‡d
1958-
-
100 1 _
‡a
Queiroz, Ruy J. G. B. de
‡d
1958-
-
100 1 _ ‡a Queiroz, Ruy J.G.B. de
-
100 1 _ ‡a Queiroz, Ruy J.G.B. de
-
100 0 _
‡a
Ruy de Queiroz
‡c
matemático brasileiro
4xx's: Alternate Name Forms (26)
5xx's: Related Names (1)
Works
| Title | Sources |
|---|---|
| Extending the Curry-Howard interpretation to linear, relevant and other resource logics |
|
| The functional interpretation of logical deduction |
|
| Logic for concurrency and synchronisation |
|
| Logic, language, information, and computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings |
|
| Model theory |
|
| Proceedings of WoLLIC'99 : May 25-28, 1999, Itatiaia |
|
| A Proof-Theoretic Account of Programming and the Role of Reduction Rules |
|
| Teoría de modelos |
|
| Twelfth Workshop on Logic, Language, Information and Computation, Florianópolis, Brasil, 19 a 22 de julho de 2005 |
|
| WoLLIC 2007 |
|
