José R. Arrazola Ramírez, José Raymundo Marcial-Romero, editors, Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. Volume 328 of Electronic Notes in Theoretical Computer Science, Elsevier, 2016. [doi]
Conference: lanmr2016
Abstract is missing.