Fingerprint
Dive into the research topics of 'Axiomatic and Tableau-Based Reasoning for Kt(H, R)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Axiomatic and Tableau-Based Reasoning for Kt(H, R)
Renate Schmidt, John G Stell, David E Rydeheard
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review