Uli Sattler – Research output — Research Explorer The University of Manchester

119 Conference contribution
14 Article
4 Commissioned report
1 Anthology
More

1 results

Filter

2007

4 Computational modal logic
Horrocks, I., Hustadt, U., Sattler, U. & Schmidt, R., 2007, Studies in Logic and Practical Reasoning|Stud. Logic Pract. Reasoning. Vol. 3. p. 181-245 64 p. (Handbook of Modal Logic).
Research output: Chapter in Book/Report/Conference proceeding › Chapter