Back to Results
First PageMeta Content
Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Algebraic structure / Decision problem / Algebra / Mathematics / Theoretical computer science / Mathematical logic


An ExpTime Tableau-based Decision Procedure for ALCQI Yu Ding and Volker Haarslev Concordia University, Montreal, Canada 1
Add to Reading List

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

Open Document

File Size: 122,22 KB

Share Result on Facebook

City

ExpTime Tableau / /

Country

Canada / /

Facility

Volker Haarslev Concordia University / /

Organization

Concordia University / Montreal / /

Person

Francesco M. Donini / Christos H. Papadimitriou / Fabio Massacci / Martina Timmann / Volker Haarslev / /

Technology

caching / /

SocialTag