Journals in DBLP

Fundam. Inform.
1992, volume: 16, number: 3-4

1. Manfred Broy
   Operational and denotational semantics with explicit concurrency. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:201-229 [Journal]
   
2. Philippe Balbiani
   A modal semantics of negation in logic programming. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:231-262 [Journal]
   
3. Jiri Novotný, Miroslav Novotný
   Notes on the algebraic approach to dependence in information systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:263-273 [Journal]
   
4. Miroslav Novotný, Zdzislaw Pawlak
   On a problem concerning dependence spaces. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:275-287 [Journal]
   
5. Roberto Gorrieri
   A hierarchy of system descriptions via atomic linear refinement. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:289-336 [Journal]
   
6. Gheorghe Paun, Miklos Szijarto, Sorina Vicolov
   Further remarks on reduced languages. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:337-347 [Journal]
   
7. Andrzej Ehrenfeucht, Marek W. Zawadowski
   A representation of partial Boolean algebras. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:349-353 [Journal]
   
8. William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai
   Learning programs with an easy to calculate set of errors. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:355-370 [Journal]
   
9. Cecylia Rauszer
   Logic for information systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1992, v:16, n:3-4, pp:371-382 [Journal]
   
10. Dimiter Vakarelov
    Inductive modal logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:3-4, pp:383-405 [Journal]