University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Generating Hard Modal Problems for Modal Decision Procedures

I. Horrocks and P. F. Patel−Schneider

Details

Book Title

Proceedings of the first workshop on Methods for Modalities (M4M−1)

Key

Proceedings of M4M1

Month

MAY

Year

1999

Links

BibTeX

Link (pdf)

Related pages