| Original language | English |
|---|---|
| Title of host publication | Proc. ADDCT & UNIF 2009 |
| Publication status | Published - 2009 |
A Tableau Method for Checking Rule Admissibility in S4
S Babenyshev, V Rybakov, R A Schmidt, D Tishkovsky
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review