12 citations · 23 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
Proceedings of the Eleventh International Workshop on Developments in Computational Models
César A. Muñoz, Jorge A. Pérez
This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was o…
cs.LO2010
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
Hélène Kirchner, César Muñoz
This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on Jul…