ListarFilosofía y Lógica y Filosofía de la Ciencia por materia "Action model"
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 ...