Juan Carlos Nieves, José Raymundo Marcial-Romero, editors, Selected Papers of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2014, Valle de Bravo, Mexico, November 5-7, 2014. Volume 315 of Electronic Notes in Theoretical Computer Science, Elsevier, 2015. [doi]
Conference: lanmr2015
Abstract is missing.