Back to Results
First PageMeta Content
Automated theorem proving / Method of analytic tableaux / Graph / Directed graph / Mathematical logic / Graph theory / Theoretical computer science / Mathematics


EXPTIME Tableaux for ALC Using Sound Global Caching Rajeev Gor´e1 and Linh Anh Nguyen2 1 The Australian National University
Add to Reading List

Document Date: 2007-05-22 01:39:22

Open Document

File Size: 164,93 KB

Share Result on Facebook
UPDATE