Artikuluak (2) Ikertzaileren baten partaidetza izan duten argitalpenak

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. Some general incompleteness results for partial correctness logics

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