( en | de | ru )

 

Disambiguierung von "Allwein, Gerard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL.

, und . Euler, Volume 134 von Electronic Notes in Theoretical Computer Science, Seite 153-187. Elsevier, (2004)

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.

Otto Allwein

Eugen Allwein

Gerard Meijer

Gérard Gäfgen

Gerard Spettel

 

Weitere Publikationen von Autoren mit dem selben Namen

Kripke Models for Linear Logic., und . J. Symb. Log., 58 (2): 514-545 (1993)Intelligent Diagrammatic Interfaces: State of the Art., , und . Diagrammatic Representation and Reasoning, Springer, (2002)A programming model for reconfigurable computing based in functional concurrency., , , , und . ReCoSoC, Seite 1-8. IEEE, (2016)Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL., und . Euler, Volume 134 von Electronic Notes in Theoretical Computer Science, Seite 153-187. Elsevier, (2004)A core calculus for secure hardware: its formal semantics and proof system., , , und . MEMOCODE, Seite 122-131. ACM, (2017)A Principled Approach to Secure Multi-core Processor Design with ReWire., , , , und . ACM Trans. Embed. Comput. Syst., 16 (2): 33:1-33:25 (2017)Logics for Classes of Boolean Monoids., , und . J. Log. Lang. Inf., 13 (3): 241-266 (2004)Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference., und . GT-VMT@ICGT, Volume 72 von Electronic Notes in Theoretical Computer Science, Seite 78-92. Elsevier, (2002)Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation., , , , und . ARC, Volume 9040 von Lecture Notes in Computer Science, Seite 41-52. Springer, (2015)Language Abstractions for Hardware-based Control-Flow Integrity Monitoring., und . ReConFig, Seite 1-6. IEEE, (2018)