Publicaciones (3) Publicaciones en las que ha participado algún/a investigador/a

1988

  1. Formal Manipulation of Forrester Diagrams by Graph Grammars

    IEEE Transactions on Systems, Man and Cybernetics, Vol. 18, Núm. 6, pp. 981-996

  2. Modelling an automatic tutor by dynamic planning

    Proc 1988 Int Conf Syst Man Cybern

  3. Some general incompleteness results for partial correctness logics

    Information and Computation, Vol. 79, Núm. 1, pp. 22-42