"SI! Automata Can Show PSPACE Results for Description Logics."

Franz Baader, Jan Hladik, Rafael Peñaloza (2007)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2011-11-07