The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Logic, Language and Information
1999, volume: 8, number: 3

  1. Oliver Lemon, Maarten de Rijke, Atsushi Shimojima
    Editorial: Efficacy of Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:265-271 [Journal]
  2. Sun-Joo Shin
    Reconstituting Beta Graphs into an Efficacious System. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:273-295 [Journal]
  3. Mateja Jamnik, Alan Bundy, Ian Green
    On Automating Diagrammatic Proofs of Arithmetic Arguments. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:297-321 [Journal]
  4. Kathi Fisler
    Timing Diagrams: Formalization and Algorithmic Verification. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:323-361 [Journal]
  5. Jon Oberlander, Padraic Monaghan, Richard Cox, Keith Stenning, Richard Tobin
    Unnatural Language Processing. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:363-384 [Journal]
  6. Oliver Lemon
    Forms of Representation: An Interdisciplinary Theme for Cognitive Science, Donald Peterson, ed. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:385-387 [Journal]
  7. Maarten de Rijke
    Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:387-390 [Journal]
  8. Johan van Benthem, David Israel
    Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:390-397 [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