Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por materia 

ListarPonencias (Ciencias de la Computación e Inteligencia Artificial) por materia "Abstract stobjs"

Mostrando ítems 1-1 de 1

    • Ponencia
      Icon

      Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2017)
      We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...