Buscar
Mostrando ítems 1-1 de 1
Artículo
Tuning the program transformers from LCC to PDL
(IFCoLog (The International Federation for Computational Logic), 2018)
This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the Logic of Communication and Change (LCC). Our proposal uses an elegant matrix treatment of ...