View in EDS PDF Full Text

An analysis of empirical testing for modal decision procedures.

Saved in:
Bibliographic Details
Title: An analysis of empirical testing for modal decision procedures.
Authors: Horrocks, I1, Patel-Schneider, PF1, Sebastiani, R1
Source: Logic Journal of the IGPL; 2000, Vol. 8 Issue 3, p293-323, 31p
Database: Applied Science & Technology Source
Description
ISSN:13670751
DOI:10.1093/jigpal/8.3.293