The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
1994, volume: 21, number: 3

  1. Henryk Jan Komorowski, Zbigniew W. Ras
    Guest Editors' Preface - Selected Papers from the ISMIS'93 Symposium. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:3, pp:161-162 [Journal]
  2. David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
    Expressing Program Requirements Using Refinement Lattices. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:3, pp:163-182 [Journal]
  3. Nicola Leone, Luigi Palopoli, Massimo Romeo
    Modifying Intensional Logic Knowledge. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:3, pp:183-203 [Journal]
  4. Jianhua Chen
    The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:3, pp:205-220 [Journal]
  5. Heng Chu, David A. Plaisted
    Model Finding in Semantically Guided Instance-Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:3, pp:221-235 [Journal]
  6. Neil V. Murray, Erik Rosenthal
    Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:3, pp:237-253 [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