Filters: Author is Cecilia Pertino [Clear All Filters]
“Congruence results for a family of unary operators”, in Proc. of SCCC XXI, Santiago de Chile, 1994.
, “The $n$-nested equivalences are not a congruence for the priority operator”, in Proc. of PANEL'94 - XX Conferencia Latinoamericana de Informática. México, 1994. paper-228.pdf (206.02 KB)
,