Fundamenta Informaticae, Volume 31

Volume 31, Numbers 1, July 1997

Wojciech Buszkowski, Miroslawa Kolowska-Gawiejnowics: Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models). 1-12
Javier Esparza: Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. 13-25
Jerzy W. Grzymala-Busse: A New Version of the Rule Induction System LERS. 27-39
Takeshi Koshiba: On a Hierarchy of Slender Languages Based on Control Sets. 41-47
Ryszard S. Michalski, Ibrahim F. Imam: On Learning Decision Structures. 49-64
Anna B. Romanowska: From Dissemilattices to Snack Algebras. 65-77
Shie-Jue Lee, Wei-Jer Lin: Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic. 79-105

Kazimir Majorinc: Extension Rule for Non-Clausal Propositional Calculus. 107-116
Carlos Martín-Vide: Natural Computation for Natural Language. 117-124
Mihhail Matskin, Henryk Jan Komorowski: Partial Structural Synthesis of Programs. 125-144
Mikhail Moshkov, Igor Chikalov: Bounds on Average Weighted Depth of Decision Trees. 145-156
Mikhail Moshkov: Unimprovable Upper Bounds on Time Complexity of Decision Trees. 157-184
Andrei Paun: Controlled H Systems of Small Radius. 185-193
Dimiter Skordev: An Abstract Approach to Some Loop Detection Problems. 195-212

Mohua Banerjee: Rough Sets and 3-Valued Lukasiewicz Logic. 213-220
Gerhard Brewka, Georg Gottlob: Well-Founded Semantics for Default Logic. 221-236
Hans-Dieter Burkhard: Defining BDI with Abstract Languages. 237-252
Olaf Chitil: The c-Semantics: A Comprehensive Semantics for Functional Programs. 253-294
Ana Deneva, Dimiter Vakarelov: Modal Logics for Local and Global Similarity Relations. 295-304
Andrea Maggiolo-Schettini, Gionata Matteucci: Processes in Cause-Effect Systems. 305-335
Andrea Maggiolo-Schettini, Józef Winkowski: A Partial Order Representation of Processes of Transforming Graphs. 337-355
Ugo Montanari, Gioia Ristori: A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. 357-377
Jean-François Rey: The Block Product of Categories and Tilson's Division. 379-400
Jean-François Rey: The Kernel of a Relational Morphism of Categories. 401-423