( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Decision Procedure for Entailment of Symbolic Heaps with Arrays.

, и . CoRR, (2017)

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.

T Kimura

Daisuke Yoshida

Daisuke Shibata

Shuji Kimura

Daisuke Akimoto

 

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

Dual Calculus with Inductive and Coinductive Types., и . RTA, том 5595 из Lecture Notes in Computer Science, стр. 224-238. Springer, (2009)Restriction on Cut in Cyclic Proof System for Symbolic Heaps., , и . FLOPS, том 12073 из Lecture Notes in Computer Science, стр. 88-105. Springer, (2020)Fast Computation of Subpath Kernel for Trees., и . ICML, icml.cc / Omnipress, (2012)Decidability for Entailments of Symbolic Heaps with Arrays., и . CoRR, (2018)Function Pointer Eliminator for C Programs., , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 23-37. Springer, (2021)Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions., , и . APLAS, том 11893 из Lecture Notes in Computer Science, стр. 367-387. Springer, (2019)Classical Natural Deduction for S4 Modal Logic., и . APLAS, том 5904 из Lecture Notes in Computer Science, стр. 243-258. Springer, (2009)Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types, и . Logical Methods in Computer Science, (2013)Decision Procedure for Entailment of Symbolic Heaps with Arrays., и . APLAS, том 10695 из Lecture Notes in Computer Science, стр. 169-189. Springer, (2017)A Subpath Kernel for Rooted Unordered Trees., , , и . PAKDD (1), том 6634 из Lecture Notes in Computer Science, стр. 62-74. Springer, (2011)