Fibring semantic tableaux
- Bernhard Beckert
- , Dov Gabbay
- Karlsruhe Institute of Technology
- Imperial College London
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
10
Scopus
citations