Fachbereich
Sistemas Informáticos y Computación
Artikel (1) Publikationen, an denen Forscher/innen teilgenommen haben
2000
-
Tableau Methods for a Logic with Term Declarations
Journal of Symbolic Computation, Vol. 29, Núm. 2, pp. 343-372