( en | de | ru )

 

Disambiguierung von "da Silva Feitosa, Samuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.

, , , , und . SBLP, Seite 9-16. ACM, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kerstin da Silva

Samuel Silva-Gotay

Adriano João Da Silva

Rodrigo Corrêa da Silva

Carolina Ferraz da Silva

 

Weitere Publikationen von Autoren mit dem selben Namen

Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória., , , und . SBLP, Seite 17-24. ACM, (2023)Open transactional actions: interacting with non-transactional resources in STM Haskell., , , , und . Haskell, Seite 54-65. ACM, (2022)An Intrinsically-Typed Solution for the List-Machine Benchmark., und . SBLP, Seite 1-8. ACM, (2020)Towards Typed Semantics for Parsing Expression Grammars., , , und . SBLP, Seite 70-77. ACM, (2019)A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching., , und . SBMF, Volume 13768 von Lecture Notes in Computer Science, Seite 39-54. Springer, (2022)A Monadic Semantics for Quantum Computing in Featherweight Java., , , und . SBLP, Volume 9889 von Lecture Notes in Computer Science, Seite 31-45. Springer, (2016)Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics., , , , und . SBLP, Seite 9-16. ACM, (2020)Uma DSL para gerar APIs RESTFul em Haskell., , , und . SBLP, Seite 9-16. ACM, (2023)An Inherently-Typed Formalization for Featherweight Java., , , und . SBLP, Seite 11-18. ACM, (2019)Synthesis of Random Real-World Java Programs from Preexisting Libraries., , , und . SBLP, Seite 108-115. ACM, (2021)