Search the dblp DataBase

Publications of Author

1. Osamu Takaki
   Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:689-709 [Journal]
   
2. Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki
   A Coalgebraic Representation of Reduction by Cone of Influence. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:177-194 [Journal]
   
3. Osamu Takaki
   Finite presentability of strongly finite dilators. [Citation Graph (0, 0)][DBLP]
   ITA, 2000, v:34, n:6, pp:425-431 [Journal]
   
4. Osamu Takaki
   Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:350-373 [Journal]
   
5. 
   Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. [Citation Graph (, )][DBLP]
   
   
6. 
   Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. [Citation Graph (, )][DBLP]
   
   
7. 
   Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. [Citation Graph (, )][DBLP]
   
   
8. 
   Service System Development Based on Web Process Ontology. [Citation Graph (, )][DBLP]
   
   
9. 
   Workflow Diagrams Based on Evidence Life Cycles. [Citation Graph (, )][DBLP]