( en | de | ru )

 

Disambiguierung von "Xavier, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanizing Focused Linear Logic in Coq.

, , , und . LSFA, Volume 338 von Electronic Notes in Theoretical Computer Science, Seite 219-236. Elsevier, (2017)

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.

Horst Bruno

Eugen Bruno

Horst Bruno

Armin Bruno

Axel Brunold

 

Weitere Publikationen von Autoren mit dem selben Namen

A Fresh View of Linear Logic as a Logical Framework., , und . LSFA, Volume 351 von Electronic Notes in Theoretical Computer Science, Seite 143-165. Elsevier, (2020)Time Provisioning Evaluation of KVM, Docker and Unikernels in a Cloud Platform., , und . CCGrid, Seite 277-280. IEEE Computer Society, (2016)A linear logic framework for multimodal logics., , und . Math. Struct. Comput. Sci., 32 (9): 1176-1204 (Oktober 2022)Mechanizing Focused Linear Logic in Coq., , , und . LSFA, Volume 338 von Electronic Notes in Theoretical Computer Science, Seite 219-236. Elsevier, (2017)MAP4: A Pragmatic Framework for In-Network Machine Learning Traffic Classification., , , und . IEEE Trans. Netw. Serv. Manag., 19 (4): 4176-4188 (Dezember 2022)Business Model for Brazilian Indie Game Studios in Game Software Ecosystems., , und . SBSI, Seite 23:1-23:8. ACM, (2021)Software Ecosystems and Digital Games: Understanding the Financial Sustainability Aspect., , und . ICEIS (2), Seite 450-457. SCITEPRESS, (2020)An Unikernels Provisioning Architecture for OpenStack., , und . ISCC, Seite 903-908. IEEE, (2018)A Dive Into the State of the Practice of the Brazilian Game Software Ecosystem., , und . IEEE Trans. Games, 16 (1): 195-204 (März 2024)M-PolKA: Multipath Polynomial Key-Based Source Routing for Reliable Communications., , , , , , , , und . IEEE Trans. Netw. Serv. Manag., 19 (3): 2639-2651 (2022)