Publicaciones en colaboración con investigadores/as de Universidad Autónoma de Madrid (5)

2022

  1. A PROPOSAL FOR THE MATHEMATICAL-DIDACTIC TRAINING OF TEACHERS ABOUT LOGICAL KNOWLEDGE

    Proceedings of the International Group for the Psychology of Mathematics Education

2017

  1. A Maude environment for CafeOBJ

    Formal Aspects of Computing, Vol. 29, Núm. 2, pp. 309-334

2011

  1. Accelerations for the coverability set of Petri nets with names

    Fundamenta Informaticae

2010

  1. Decidability problems in Petri nets with names and replication

    Fundamenta Informaticae

2008

  1. Name creation vs. replication in petri net systems

    Fundamenta Informaticae