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 BibTeX
Javier Esparza: Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. 13-25 BibTeX
Jerzy W. Grzymala-Busse: A New Version of the Rule Induction System LERS. 27-39 BibTeX
Takeshi Koshiba: On a Hierarchy of Slender Languages Based on Control Sets. 41-47 BibTeX
Ryszard S. Michalski, Ibrahim F. Imam: On Learning Decision Structures. 49-64 BibTeX
Anna B. Romanowska: From Dissemilattices to Snack Algebras. 65-77 BibTeX
Shie-Jue Lee, Wei-Jer Lin: Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic. 79-105 BibTeX

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

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