Tableau Methods for a Logic with Term Declarations
ISSN: 0747-7171
Año de publicación: 2000
Volumen: 29
Número: 2
Páginas: 343-372
Tipo: Artículo
ISSN: 0747-7171
Año de publicación: 2000
Volumen: 29
Número: 2
Páginas: 343-372
Tipo: Artículo