Journals in DBLP

Fundam. Inform.
1991, volume: 14, number: 2

1. K. Vidyasankar
   Unified theory of database serializability. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:2, pp:147-183 [Journal]
   
2. Bernd Becker, Uwe Sparmann
   A uniform test approach for RCC-adders. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:2, pp:185-219 [Journal]
   
3. Philippe Darondeau, Pierpaolo Degano
   About semantic action refinement. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:2, pp:221-234 [Journal]
   
4. Maciej Koutny
   Axiom system induced by CTL* Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:2, pp:235-253 [Journal]
   
5. Erkki Mäkinen
   A hierarchy of context-free derivations. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:2, pp:255-259 [Journal]
   
6. Fred Kröger, Stephan Merz
   Temporal logic and recursion. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:2, pp:261-281 [Journal]