Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems

Thomas Graf. Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems. In Philippe de Groote, Mark-Jan Nederhof, editors, Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers. Volume 7395 of Lecture Notes in Computer Science, pages 97-113, Springer, 2010. [doi]

Abstract

Abstract is missing.