×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [undecidability theorem]
Transitive Roles in Number Restrictions Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin The University of Manchester {kazakov,sattler,zolin}@cs.man.ac.uk
214 views
Godel Book
26 views