Journals in DBLP

Fundam. Inform.
1999, volume: 40, number: 4

1. Luis Fariñas del Cerro, Olivier Gasquet
   Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1999, v:40, n:4, pp:317-333 [Journal]
   
2. Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
   Full Abstractness of a Metric Semantics for Action Refinement. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1999, v:40, n:4, pp:335-382 [Journal]
   
3. Hung Son Nguyen, Sinh Hoa Nguyen
   Rough Sets and Association Rule Generation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1999, v:40, n:4, pp:383-405 [Journal]
   
4. Edward T. Ordman, Eugene Eberbach, A. Anwar
   Generalized Mutual Exclusion with Semaphores Only. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1999, v:40, n:4, pp:407-422 [Journal]