The Sequent Calculus for $${\mathcal{ ALC} }$$ Chapter

• http://dx.doi.org/10.1007/978-1-4471-4002-3_3

•  
• Overview
•  
• Identity
•  
• Additional Document Info
•  
• View All
•  

Overview

authors

• Rademaker, Alexandre

publication date

• January 1, 2012

published in

• A Proof Theory for Description Logics  Book

Identity

International Standard Book Number (ISBN) 13

• 978-1-4471-4001-6
• 978-1-4471-4002-3

Additional Document Info

number of pages

• 19

start page

• 17

end page

• 36