Sciweavers

IGPL   2000
Wall of Fame | Most Viewed IGPL-2000 Paper
IGPL
2000
152views more  IGPL 2000»
13 years 10 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source152
2Download preprint from source129
3Download preprint from source103
4Download preprint from source100
5Download preprint from source99
6Download preprint from source87
7Download preprint from source82
8Download preprint from source82
9Download preprint from source69
10Download preprint from source68
11Download preprint from source67
12Download preprint from source48