LANMR (Selected Papers)
Keyphrases
Publications
volume 354, 2020
Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019 LANMR (Selected Papers) 354 (2020)
2019
volume 328, 2016
volume 315, 2015