Modal Tableau Calculus with Global Caching Via Resolution

First Author: Gore, R

Attributed to: Overseas Visit in Automated Model Building funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Technical Report