5 citations · 12 across the 9 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
On abstract normalisation beyond neededness
Eduardo Bonelli, Delia Kesner, Carlos Lombardi +1
We study normalisation of multistep strategies, strategies that reduce a set of redexes at a time, focussing on the notion of necessary sets, those which contain at least one redex…
cs.LO2014★ 1 cited
Proceedings 9th International Workshop on Developments in Computational Models
Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie
This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 2…