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
- 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
Volume 31, Numbers 2, August 1997
- Kazimir Majorinc: Extension Rule for Non-Clausal Propositional Calculus. 107-116
- Carlos Martín-Vide: Natural Computation for Natural Language. 117-124
- 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
Volume 31, Numbers 3/4, September 1997
- Mohua Banerjee: Rough Sets and 3-Valued Lukasiewicz Logic. 213-220
- Hans-Dieter Burkhard: Defining BDI with Abstract Languages. 237-252
- Olaf Chitil: The c-Semantics: A Comprehensive Semantics for Functional Programs. 253-294
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team