MKBOOL: A Multi-Completion System for Boolean Constrained Reduction Orders.
Saved in:
| Title: | MKBOOL: A Multi-Completion System for Boolean Constrained Reduction Orders. |
|---|---|
| Authors: | Sato, Haruhiko1, haru@complex.eng.hokudai.ac.jp, Kurihara, Masahito1, kurihara@ist.hokudai.ac.jp |
| Source: | International MultiConference of Engineers & Computer Scientists 2008; 2008, p354-359, 6p |
| Database: | Applied Science & Technology Source |
| Description not available. |
