Journals in DBLP

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

1. Andrzej Blikle
   Three-valued predicates for software specification and validation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:4, pp:387-410 [Journal]
   
2. Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
   A three-valued logic for software specification and validation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:4, pp:411-453 [Journal]
   
3. Miroslav Novotný, Zdzislaw Pawlak
   Algebraic theory of independence in information systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:4, pp:454-476 [Journal]
   
4. Waldemar Korczynski
   An axiomatic characterization of a class of Petri Nets. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:4, pp:477-491 [Journal]
   
5. Stephen D. Comer
   An algebraic approach to the approximation of information. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1991, v:14, n:4, pp:495-502 [Journal]