Artikuluak (1) Ikertzaileren baten partaidetza izan duten argitalpenak

2000

  1. Tableau Methods for a Logic with Term Declarations

    Journal of Symbolic Computation, Vol. 29, Núm. 2, pp. 343-372