Bárcenas, Everardo, CONCyT - Universidad Veracruzana, Mexico

• Vol 20, No 1 (2016): Thematic Issue: Topic Trends in Computing Research (Guest Editor: Claudia P. Ayala) - Articles
  (Hyper)sequent Calculi for the ALC(S4) Description Logics
  Abstract  PDF