( en | de | ru )

 

Disambiguation of "Takeuti, Izumi"

Author of the publication

copydeleteadd this publication to your clipboard
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.

, , , , and . ICEIS (3-2), page 351-359. (2008)978-989-8111-38-8.

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. You can also use the button next to the name to display some publications already assigned to the person.

Izumi Kazuhara

Bogumi Izumi

 

Other publications of authors with the same name

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency., , , , and . ICEIS (3-2), page 351-359. (2008)978-989-8111-38-8.Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams., , , , and . ICSEA, page 9. IEEE Computer Society, (2007)Workflow Diagrams Based on Evidence Life Cycles., , , , and . JCKBSE, volume 180 of Frontiers in Artificial Intelligence and Applications, page 145-154. IOS Press, (2008)Secret Sharing Scheme with Perfect Concealment., and . IACR Cryptol. ePrint Arch., (2023)A Type Theory for Cyclic Strcture.. Fuji International Symposium on Functional and Logic Programming, page 207-226. World Scientific, Singapore, (1998)A reduction rule for Peirce formula., , and . Stud Logica, 56 (3): 419-426 (1996)Syntax and Semantics of Workflows That Include Passbacks., , , and . ICSEA, page 169-177. IEEE Computer Society, (2010)On Embedding a Qualitative Representation in a Two-Dimensional Plane., , and . Spatial Cognition & Computation, 8 (1-2): 4-26 (2008)CAL: A Computer Assisted Learning System for Computation and Logic., , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 509-524. Springer, (2001)Transition Systems over Continuous Time-Space.. CCA, volume 120 of Electronic Notes in Theoretical Computer Science, page 173-186. Elsevier, (2004)