Found 4 Documents (Results 1–4)
How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi. (English) Zbl 1171.03308
Filter Results by …
all
top 5
Author
- Voronkov, Andrei (2)
- Antoniou, Grigoris (1)
- Billington, David (1)
- Engelfriet, Joost (1)
- Governatori, Guido (1)
- Hoogeboom, Hendrik Jan (1)
- Maher, Michael J. (1)
- Rybina, Tatiana (1)