Noetherianity and Combination Problems

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli. Noetherianity and Combination Problems. In Boris Konev, Frank Wolter, editors, Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Volume 4720 of Lecture Notes in Computer Science, pages 206-220, Springer, 2007. [doi]

Abstract

Abstract is missing.