Roussanka Loukanova. Underspecified Quantification by the Theory of Acyclic Recursion. In Fernando de la Prieta, María J. Escalona, Rafael Corchuelo, Philippe Mathieu, Zita Vale, Andrew T. Campbell, Silvia Rossi, Emmanuel Adam, Maria Dolores Jiménez-López, Elena Navarro, María N. Moreno, editors, Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection, 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Special Sessions. Volume 473 of Advances in Intelligent Systems and Computing, pages 237-249, Springer, 2016. [doi]
Abstract is missing.