Abstract
In this article, we generalize Courcelle's recognizable graph languages and results on monadic second-order logic to more general structures. First, w......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
