Unification and matching on compressed terms
ACM Transactions on Computational Logic (TOCL)
Parameter reduction and automata evaluation for grammar-compressed trees
Journal of Computer and System Sciences
New algorithms for unification modulo one-sided distributivity and its variants
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
XML tree structure compression using RePair
Information Systems
Hi-index | 0.00 |
Monadic second-order unification is second-order unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding whether a set of monadic equations has a unifier is NP-complete, where we use the technique of compressing solutions using singleton context-free grammars. We prove that monadic second-order matching is also NP-complete.