Volume 68,
Number 1-2,
2005
- Mariusz Boryczka:
Eliminating Introns in Ant Colony Programming.
1-19
- Alfredo Burrieza, Manuel Ojeda-Aciego:
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.
21-46
- Eugene Eberbach:
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems.
47-102
- Harald Fecher, Mila E. Majster-Cederbaum:
Event Structures for Arbitrary Disruption.
103-130
- 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
- Józef Winkowski:
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes.
175-206
Volume 68,
Number 3,
2005
- Chin-Chen Chang, Chi-Shiang Chan:
An Inverse Halftoning Technique Using Modified Look-Up Tables.
207-220
- Ewa Palka:
On Finite Model Property of the Equational Theory of Kleene Algebras.
221-230
- Michael Stay:
Very Simple Chaitin Machines for Concrete AIT.
231-247
- 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
- Guoyin Wang, Jun Zhao, Jiu-Jiang An, Yu Wu:
A Comparative Study of Algebra Viewpoint and Information Viewpoint in Attribute Reduction.
289-301
Volume 68,
Number 4,
2005
Copyright © Sat Nov 28 22:29:07 2009
by Michael Ley (ley@uni-trier.de)
