Listar Artículos (Filosofía y Lógica y Filosofía de la Ciencia) por materia 

ListarArtículos (Filosofía y Lógica y Filosofía de la Ciencia) por materia "Action model"

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      Tuning the program transformers from LCC to PDL 

      Pardo, Pere; Sarrión Morillo, Enrique; Soler Toscano, Fernando; Velázquez Quesada, Fernando R. (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 ...