Workflows With Passbacks And Incremental Verification Of Their Correctness | 0 | 0.34 | 2012 |
Syntax and Semantics of Workflows That Include Passbacks | 1 | 0.38 | 2010 |
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness | 0 | 0.34 | 2008 |
On Embedding a Qualitative Representation in a Two-Dimensional Plane | 3 | 0.47 | 2008 |
Workflow Diagrams Based on Evidence Life Cycles | 1 | 0.40 | 2008 |
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams | 2 | 0.41 | 2007 |
Transition Systems over Continuous Time-Space | 5 | 0.49 | 2005 |
CAL: A Computer Assisted Learning System for Computation and Logic | 3 | 0.50 | 2001 |
Effective Fixed Point Theorem over a Non-computably Separable Metric Space | 1 | 0.39 | 2000 |
Pruning Terms for Principal Type Assignment | 0 | 0.34 | 2000 |
A Type Theory for Cyclic Strcture | 0 | 0.34 | 1998 |
A reduction rule for Peirce formula | 0 | 0.34 | 1996 |