Sciweavers

12289 search results - page 113 / 2458
» computing 2006
Sort
View
SC
2006
ACM
16 years 6 days ago
OpenMP - OpenMP
Sanjiv Shah, Mark Bull
BIRTHDAY
2006
Springer
15 years 10 months ago
Completion Is an Instance of Abstract Canonical System Inference
Guillaume Burel, Claude Kirchner
BIRTHDAY
2006
Springer
15 years 10 months ago
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
Kazuhiro Ogata, Kokichi Futatsugi