Journals in DBLP

Fundam. Inform.
1997, volume: 32, number: 3-4

1. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
   A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:193-250 [Journal]
   
2. Antonio Bucciarelli
   Bi-Models: Relational Versus Domain-Theoretic Approaches. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:251-266 [Journal]
   
3. Andrés Bujosa, Regino Criado, Miguel A. Hernandez-Medina
   Unification: Nothing but the Solution of a System of Linear Equations. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:267-280 [Journal]
   
4. Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
   Modal Tableaux with Propagation Rules and Structural Rules. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:281-297 [Journal]
   
5. Mihir K. Chakraborty, Sanjukta Basu
   Graded Consequence and Some Metalogical Notions Generalized. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:299-311 [Journal]
   
6. Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
   Transition-Optimal Token Distribution. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:313-328 [Journal]
   
7. Wan Fokkink
   An Axiomatization for Regular Processes in Times Branching Bisimulation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:329-340 [Journal]
   
8. Juha Honkala
   Decision Problems Concerning a Power Series Generalization of DTOL Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:341-348 [Journal]
   
9. Mohamed A. Khamsi, Driss Misane
   Disjunctive Signed Logic Programs. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:349-357 [Journal]
   
10. Wladyslaw Skarbek
    On Relation of Image Compression and Image Association. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:3-4, pp:359-371 [Journal]
    
11. Ferucio Laurentiu Tiplea, Erkki Mäkinen
    Jumping Petri Nets. Specific Properties. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:3-4, pp:373-392 [Journal]