( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL.

, и . Euler, том 134 из Electronic Notes in Theoretical Computer Science, стр. 153-187. Elsevier, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Otto Allwein

Eugen Allwein

Gerard Spettel

Gerard Tangerding

Walter Gérard

 

Другие публикации лиц с тем же именем

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