External Links

    Journal: Fundamenta Informaticae

    Volume 31, Issue 3/4

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

    Volume 31, Issue 2

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

    Volume 31, Issue 1

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