Journals in DBLP

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

1. Louise E. Moser, P. M. Melliar-Smith, G. Kutty, Y. S. Ramakrishna
   Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1994, v:21, n:4, pp:257-305 [Journal]
   
2. Chitta Baral
   Varying Selection Functions to Relate Conditional Logics and Preferential Models. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1994, v:21, n:4, pp:307-319 [Journal]
   
3. Ivo Düntsch
   Rough Relation Algebras. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1994, v:21, n:4, pp:321-331 [Journal]
   
4. Peter Cholak, Howard A. Blair
   The Complexity of Local Stratification. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1994, v:21, n:4, pp:333-344 [Journal]
   
5. Hardi Hungar
   Expressibility of the Semantics of Sequential Programs in First-Order Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1994, v:21, n:4, pp:345-365 [Journal]
   
6. Symeon Bozapalidis
   Representable Tree Series. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1994, v:21, n:4, pp:367-389 [Journal]
   
7. Mikhail Moshkov
   Optimization Problems for Decision Trees. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1994, v:21, n:4, pp:391-401 [Journal]