Fundamenta Informaticae, Volume 68

Volume 68, Number 1-2, 2005

• Mariusz Boryczka:
  Eliminating Introns in Ant Colony Programming. 1-19
  Electronic Edition (link) BibTeX
• Alfredo Burrieza, Manuel Ojeda-Aciego:
  A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. 21-46
  Electronic Edition (link) BibTeX
• Eugene Eberbach:
  $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems. 47-102
  Electronic Edition (link) BibTeX
• Harald Fecher, Mila E. Majster-Cederbaum:
  Event Structures for Arbitrary Disruption. 103-130
  Electronic Edition (link) BibTeX
• Mark-Oliver Stehr:
  The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. 131-174
  Electronic Edition (link) BibTeX
• Józef Winkowski:
  Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes. 175-206
  Electronic Edition (link) BibTeX

Volume 68, Number 3, 2005

• Chin-Chen Chang, Chi-Shiang Chan:
  An Inverse Halftoning Technique Using Modified Look-Up Tables. 207-220
  Electronic Edition (link) BibTeX
• Ewa Palka:
  On Finite Model Property of the Equational Theory of Kleene Algebras. 221-230
  Electronic Edition (link) BibTeX
• Michael Stay:
  Very Simple Chaitin Machines for Concrete AIT. 231-247
  Electronic Edition (link) BibTeX
• Mark-Oliver Stehr:
  The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. 249-288
  Electronic Edition (link) BibTeX
• Guoyin Wang, Jun Zhao, Jiu-Jiang An, Yu Wu:
  A Comparative Study of Algebra Viewpoint and Information Viewpoint in Attribute Reduction. 289-301
  Electronic Edition (link) BibTeX

Volume 68, Number 4, 2005

• Igor Bocharov, Pavel Lukin:
  Information Divergence Criterion in Speech Signal Recognition. 303-313
  Electronic Edition (link) BibTeX
• Chih-Yang Lin, Chin-Chen Chang, Chia-Chen Lin:
  A New Density-Based Scheme for Clustering Based on Genetic Algorithm. 315-331
  Electronic Edition (link) BibTeX
• Timo Poranen:
  A Genetic Hillclimbing Algorithm for the Optimal Linear Arrangement Problem. 333-356
  Electronic Edition (link) BibTeX
• Guilin Qi, Peter Milligan, Paul Sage:
  Incidence Calculus on Lukasiewicz's Three-valued Logic. 357-378
  Electronic Edition (link) BibTeX
• Marcin Sydow:
  Random Surfer with Back Step. 379-398
  Electronic Edition (link) BibTeX
• Hsien-Chu Wu, Min-Shiang Hwang, Chia-Hsin Liu:
  A Secure Strong-Password Authentication Protocol. 399-406
  Electronic Edition (link) BibTeX