Strongly polynomial-time and NC algorithms for detecting cycles in periodic graphs
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Hoare logic and Kleene algebra with tests
ACM Transactions on Computational Logic (TOCL)
Reconfigurability and Reliability of Systolic/Wavefront Arrays
IEEE Transactions on Computers
Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
On the complexity of reasoning in Kleene algebra
Information and Computation - Special issue: LICS'97
| Hi-index | 0.00 |