I agree that this site is using cookies. You can find further informations here.
X
de Queiroz, Ruy
60  results:
OpenAccess-fulltext X
Search for persons X
?
1

Tribute to aunt Maria Isaura Pereira de Queiroz ; Homenagem..:

Queiroz, Ruy Pereira de
https://www.revistas.usp.br/ceru/article/view/118155/115724.  , 2016
Link: https://www.revistas.usp..
 
?
2

From Tractatus to Later Writings and Back -- New Implicatio..:

de Queiroz, Ruy J. G. B
http://arxiv.org/abs/2304.11203.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

The Theory of an Arbitrary Higher \(\lambda\)-Model:

Martínez-Rivillas, Daniel O ; de Queiroz, Ruy J. G. B
Bulletin of the Section of Logic;1.  , 2023
Link: http://hdl.handle.net/11..
 
?
4

The Theory of an Arbitrary Higher \(\lambda\)-Model:

Martínez-Rivillas, Daniel O ; de Queiroz, Ruy J. G. B
https://czasopisma.uni.lodz.pl/bulletin/article/view/13400/17385.  , 2023
Link: https://czasopisma.uni.l..
 
?
5

Cypherpunk:

André Ramiro ; Ruy de Queiroz
https://policyreview.info/node/1664.  , 2022
Link: https://doi.org/10.14763..
 
?
6

Cypherpunk:

Ramiro, André ; de Queiroz, Ruy J. G. B
gbv-ppn:1801318700.  , 2022
Link: http://hdl.handle.net/10..
 
?
7

Utilizando CAPTCHAs para Garantir a Segurança contra Fraude..:

Costa, Rodrigo Alves ; Queiroz, Ruy José Guerra Barretto de
https://www.brazilianjournals.com/index.php/BRJD/article/view/25847/20515.  , 2021
Link: https://www.brazilianjou..
 
?
8

The Theory of an Arbitrary Higher $\lambda$-Model:

Martínez-Rivillas, Daniel O ; de Queiroz, Ruy J. G. B
http://arxiv.org/abs/2111.07092.  , 2021
Link: http://arxiv.org/abs/211..
 
?
9

Solving Homotopy Domain Equations:

Martínez-Rivillas, Daniel O ; de Queiroz, Ruy J. G. B
http://arxiv.org/abs/2104.01195.  , 2021
Link: http://arxiv.org/abs/210..
 
?
10

Towards a Homotopy Domain Theory:

Martínez-Rivillas, Daniel O ; de Queiroz, Ruy J. G. B
http://arxiv.org/abs/2007.15082.  , 2020
Link: http://arxiv.org/abs/200..
 
?
11

Computational Paths -- An approach in the $LND_{EQ}-TRS_{2}..:

Veras, Tiago M. L ; Ramos, Arthur F ; de Queiroz, Ruy J. G. B.
http://arxiv.org/abs/2007.07769.  , 2020
Link: http://arxiv.org/abs/200..
 
?
12

The $\infty$-groupoid generated by an arbitrary topological..:

Martínez-Rivillas, Daniel O ; de Queiroz, Ruy J. G. B
http://arxiv.org/abs/1906.05729.  , 2019
Link: http://arxiv.org/abs/190..
 
?
13

Some applications of the formalization of the pumping lemma..:

Ramos, Marcus V. M ; Almeida, José Bacelar ; Moreira, Nelma.
1571-0661.  , 2019
Link: http://hdl.handle.net/18..
 
?
14

An alternative approach to the calculation of fundamental g..:

de Veras, Tiago M. L ; Ramos, Arthur F ; de Queiroz, Ruy J. G. B.
http://arxiv.org/abs/1906.09107.  , 2019
Link: http://arxiv.org/abs/190..
 
?
15

A Topological Application of Labelled Natural Deduction:

Veras, Tiago M. L ; Ramos, Arthur F ; de Queiroz, Ruy J. G. B.
http://arxiv.org/abs/1906.09105.  , 2019
Link: http://arxiv.org/abs/190..
 
1-15