Complexity of Interpolation and Related Problems in Positive Calculi
| Autor: | Maksimova, Larisa |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 2002 Mar 01. 67(1), 397-408. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Maksimova, Larisa |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 2002 Mar 01. 67(1), 397-408. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|