The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
2004, volume: 63, number: 4

  1. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Linda Language and its Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:309-330 [Journal]
  2. Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig
    Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:331-355 [Journal]
  3. Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig
    Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:357-373 [Journal]
  4. Norbert Dojer
    Applying term rewriting to partial algebra theory. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:375-384 [Journal]
  5. Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
    Modeling and Verification of Reactive Systems using Rebeca. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:385-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