(Hyper)sequent Calculi for the ALC(S4) Description Logics
-
Published:2016-03-31
Issue:1
Volume:20
Page:
-
ISSN:2007-9737
-
Container-title:Computación y Sistemas
-
language:
-
Short-container-title:CyS
Author:
Muñoz Juan Pablo,Bárcenas Everardo,Martínez Iván,Arrazola José Ramón Enrique
Publisher
Instituto Politecnico Nacional/Centro de Investigacion en Computacion
Subject
General Computer Science