( en | de | ru )

 

Disambiguierung von "de Queiroz, Ruy J. G. B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.

, , , und . WoLLIC, Volume 8071 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2013)

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.

B J Biringer

Heiko B G Franz

Heiko B G Franz

Thomas B de Vries

Irene B ˜deœ Alleluia

 

Weitere Publikationen von Autoren mit dem selben Namen

Editorial.. Logic Journal of the IGPL, 3 (4): 532-533 (1995)Conference Report: Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS)., und . Logic Journal of the IGPL, 6 (4): 651-663 (1998)Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS)., , , und . Logic Journal of the IGPL, 6 (4): 651-663 (1998)A New Basic Set of Transformations between Proofs., und . We Will Show Them! (2), Seite 499-528. College Publications, (2005)22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)., , , und . Logic Journal of the IGPL, 24 (5): 859 (2016)Reviewing some clauses of cloud-based Google's Agreements in Brazil., und . LatinCloud, Seite 47-52. IEEE, (2013)Logic, Language, Information and Computation., und . Ann. Pure Appl. Log., 152 (1-3): 1-2 (2008)Towards a homotopy domain theory., und . Arch. Math. Log., 62 (3-4): 559-579 (Mai 2023)Preface., und . WoLLIC, Volume 123 von Electronic Notes in Theoretical Computer Science, Seite 1-3. Elsevier, (2004)Labelled Abduction., und . SBIA, Volume 991 von Lecture Notes in Computer Science, Seite 91-100. Springer, (1995)