Results 1-1 of 1 (Search time: 0.001 seconds).
| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link | |
|---|---|---|---|---|---|---|---|
| 1 | 2009 | Automated Compositional Reasoning of Intuitionistically Closed Regular Properties | Yih-Kuen Tsay; Bow-Yaw Wang | International Journal of Foundations of Computer Science 20(4), 747-762 |
