Rule-Based Unification in Combined Theories and the Finite Variant Property

Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. Rule-Based Unification in Combined Theories and the Finite Variant Property. In Carlos Martín-Vide, Alexander Okhotin, Dana Shapira, editors, Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings. Volume 11417 of Lecture Notes in Computer Science, pages 356-367, Springer, 2019. [doi]

Abstract

Abstract is missing.