|
Journals in DBLP
- Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2000, v:10, n:2, pp:- [Journal]
- Mi Lu, Jin-Zhao Wu
On theorem proving in annotated logics. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2000, v:10, n:2, pp:- [Journal]
- Adam Obtulowicz
Triangular Logic of Partial Toposes. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2000, v:10, n:2, pp:- [Journal]
|