The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
2004, volume: 14, number: 6

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Richard Banach
    Review: Process Algebra with Timing. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:6, pp:881- [Journal]
  6. Alice ter Meulen
    Review: Word, Proofs and Diagrams. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:6, pp:882- [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002