The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
2000, volume: 42, number: 3-4

  1. Stéphane Demri
    The Nondeterministic Information Logic NIL is PSPACE-complete. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:42, n:3-4, pp:211-234 [Journal]
  2. Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrów
    Reliable Minimum Finding Comparator Networks. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:42, n:3-4, pp:235-249 [Journal]
  3. Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz
    Towards Automated Consistency Checking of Module Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:42, n:3-4, pp:251-278 [Journal]
  4. Masahiro Inuiguchi, Tetsuzo Tanino
    Necessity Measures and Parametric Inclusion Relations of Fuzzy Sets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:42, n:3-4, pp:279-302 [Journal]
  5. Michael Kaminski, Guy Rey
    First-order Non-monotonic Modal Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:42, n:3-4, pp:303-333 [Journal]
  6. Markus Kohn, Hartmut Schmeck
    Formal Asynchronous Systems Modelling. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:42, n:3-4, pp:335-389 [Journal]
  7. Karl Schlechta, Laurent Gourmelen, Stéphanie Motré, Olivier Rolland, Bensalah Tahar
    A New Approach to Preferential Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:42, n:3-4, pp:391-410 [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