Journals in DBLP

Fundam. Inform.
2001, volume: 48, number: 4

1. Ngoc Thanh Nguyen
   Using Distance Functions to Solve Representation Choice Problems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:48, n:4, pp:295-314 [Journal]
   
2. Franz Puntigam, Christof Peter
   Types for Active Objects with Static Deadlock Prevention. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:48, n:4, pp:315-341 [Journal]
   
3. Hiroshi Sakai
   Effective Procedures for Handling Possible Equivalence Relations in Non-deterministic Information Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:48, n:4, pp:343-362 [Journal]
   
4. Zbigniew Stachniak
   Non-Clausal Reasoning with Definite Theories. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:48, n:4, pp:363-388 [Journal]
   
5. Jerzy Tyszkiewicz
   Computability by Sequences of Queries. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:48, n:4, pp:389-414 [Journal]