Journals in DBLP
Mirjana Borisavljevic Extended Natural Deduction Images of Conversions from the System of Sequents. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:6, pp:769-799 [Journal ] James P. Delgrande , Torsten Schaub , Hans Tompits , Stefan Woltran On Computing Belief Change Operations using Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:6, pp:801-826 [Journal ] Radim Belohlávek , Tatána Funioková Similarity and Fuzzy Tolerance Spaces. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:6, pp:827-855 [Journal ] Gem Stapleton , John Howse , John Taylor , Simon Thompson The Expressiveness of Spider Diagrams. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:6, pp:857-880 [Journal ] Richard Banach Review: Process Algebra with Timing. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:6, pp:881- [Journal ] Alice ter Meulen Review: Word, Proofs and Diagrams. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:6, pp:882- [Journal ]