The following pages link to Tyng-Ruey Chuang (Q209118):
Displaying 4 items.
- A syntactic method for finding least fixed points of higher-order functions over finite domains (Q4360124) (← links)
- JGAP: a Java-based graph algorithms platform (Q4791104) (← links)
- Generic validation of structural content with parametric modules (Q5178001) (← links)
- Parallel sparse supports for array intrinsic functions of Fortran 90 (Q5946207) (← links)