Journals in DBLP

Fundam. Inform.
1992, volume: 16, number: 1

1. Jan J. M. M. Rutten, Jeffery I. Zucker
   A semantic approach to fairness. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:1-38 [Journal]
   
2. Martin Leischner
   On the compactness theorem of propositional temporal logics. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:39-57 [Journal]
   
3. Michael Gelfond, Halina Przymusinska
   On consistency and completeness of autoepistemic theories. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:59-92 [Journal]
   
4. Erkki Mäkinen
   On the generative capacity of context-free matrix grammars over one-letter alphabet. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:93-97 [Journal]
   
5. Egidio Astesiano, Maura Cerioli
   Partial higher-order specifications. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:101-126 [Journal]
   
6. Barney P. Hilken, David E. Rydeheard
   Towards a categorical semantics of type classes. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:127-147 [Journal]
   
7. Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
   Operational, denotational and logical descriptions: a case study. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:149-169 [Journal]
   
8. Ugo Montanari, Vladimiro Sassone
   Dynamic congruence vs. progressing bisimulation for CCS. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:1, pp:171-199 [Journal]