E-LIB Suche - Ergebnisse für: De Queiroz, Ruy J. G. B.

1

Logic, Language, Information, and Computation: 29th Interna..

Lecture Notes in Computer Science, 13923

Hansen, Helle Hvid ; Scedrov, Andre ; de Queiroz, Ruy J.G.B - 1st ed. 2023 . , 2023

2

SABER post-quantum key encapsulation mechanism (KEM): evalu..:

Ribeiro, Leonardo A. D. S. ; da Silva Lima, José Paulo ; de Queiroz, Ruy J. G. B....
Journal of Cryptographic Engineering. 14 (2023) 1 - p. 35-41 , 2023

Link: https://doi.org/10.1007/..

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. 52 (2023) 1 - p. 39-58 , 2023

Link: https://doi.org/10.18778..

4

From Tractatus to Later Writings and Back – New Implication..:

de Queiroz, Ruy J. G. B.
SATS. 24 (2023) 2 - p. 167-203 , 2023

Link: https://doi.org/10.1515/..

5

Computational paths - a weak groupoid:

de Veras, Tiago M L ; Ramos, Arthur F ; de Queiroz, Ruy J G B.
Journal of Logic and Computation. , 2023

Link: https://doi.org/10.1093/..

6

Towards a homotopy domain theory:

Martínez-Rivillas, Daniel O. ; de Queiroz, Ruy J. G. B.
Archive for Mathematical Logic. 62 (2022) 3-4 - p. 559-579 , 2022

Link: https://doi.org/10.1007/..

7

Distributed Repository for Software Packages Using Blockcha..:

Costa, Felipe Z. Da N. ; De Queiroz, Ruy J. G. B. ; Bittencourt, Gustavo P..
IEEE Access. 10 (2022) - p. 112502-112514 , 2022

Link: https://doi.org/10.1109/..

8

26th Workshop on Logic, Language, Information and Computati..:

de Queiroz, Ruy J.G.B.
Information and Computation. 287 (2022) - p. 104752 , 2022

Link: https://doi.org/10.1016/..

9

Logic, Language, Information, and Computation: 28th Interna..

Lecture Notes in Computer Science, 13468

Ciabattoni, Agata ; Pimentel, Elaine ; de Queiroz, Ruy J. G. B - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

∞-Groupoid Generated by an Arbitrary Topological λ-Model:

Martínez-Rivillas, Daniel O ; de Queiroz, Ruy J G B
Logic Journal of the IGPL. 30 (2021) 3 - p. 465-488 , 2021

Link: https://doi.org/10.1093/..

11

A Blockchain Using Proof-of-Download:

, In: 2020 IEEE International Conference on Blockchain (Blockchain),

da N. Costa, Felipe Zimmerle ; de Queiroz, Ruy J. G. B. - p. 170-177 , 2020

Link: https://doi.org/10.1109/..

12

23rd Workshop on Logic, Language, Information and Computati..:

Väänänen, Jouko ; de Queiroz, Ruy J.G.B.
Annals of Pure and Applied Logic. 170 (2019) 9 - p. 921-922 , 2019

Link: https://doi.org/10.1016/..

13

Some Applications of the Formalization of the Pumping Lemma..:

Ramos, Marcus V.M. ; Bacelar Almeida, José Carlos ; Moreira, Nelma.
Electronic Notes in Theoretical Computer Science. 344 (2019) - p. 151-167 , 2019

Link: https://doi.org/10.1016/..

14

Propositional intuitionistic multiple-conclusion calculus v..:

Carvalho, Ruan V B ; de Oliveira, Anjolina G ; de Queiroz, Ruy J G B
Logic Journal of the IGPL. , 2018

Link: https://doi.org/10.1093/..

15

Logic, Language, Information, and Computation

24th International Workshop, WoLLIC 2017, London, UK, July ... Lecture Notes in Computer Science ; 10388;SpringerLink, Bücher;Springer eBook Collection, Computer Science

de Queiroz, Ruy J.G.B. ; Kennedy, Juliette , 2017

Link: https://doi.org/10.1007/..