On the non-termination of MDG-based abstract state enumeration
Theoretical Computer Science
NuMDG: a new tool for multiway decision graphs construction
Journal of Computer Science and Technology - Special issue on natural language processing
A Comprehensive Setting for Matching and Unification over Iterative Terms
Fundamenta Informaticae
Hi-index | 0.00 |