Journals in DBLP

Fundam. Inform.
2005, volume: 68, number: 3

1. Chin-Chen Chang, Chi-Shiang Chan
   An Inverse Halftoning Technique Using Modified Look-Up Tables. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:68, n:3, pp:207-220 [Journal]
   
2. Ewa Palka
   On Finite Model Property of the Equational Theory of Kleene Algebras. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:68, n:3, pp:221-230 [Journal]
   
3. Michael Stay
   Very Simple Chaitin Machines for Concrete AIT. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:68, n:3, pp:231-247 [Journal]
   
4. Mark-Oliver Stehr
   The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:68, n:3, pp:249-288 [Journal]
   
5. Guoyin Y. Wang, Jun Zhao, Jiu-Jiang An, Yu Wu
   A Comparative Study of Algebra Viewpoint and Information Viewpoint in Attribute Reduction. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:68, n:3, pp:289-301 [Journal]