External Links

    Journal: Fundamenta Informaticae

    Volume 29, Issue 4

    305 -- 324Andrzej Ehrenfeucht, Grzegorz Rozenberg, Kai Salomaa. Semantics of Nonsequential Tree-Based Computation Schemes
    325 -- 339Emanuela Fachini, Angelo Monti. Chomsky Hierarchy and Systolic Y-Tree Automata
    341 -- 368Gian Luigi Ferrari. Atomicity and Concurrency Control in Process Calculi
    369 -- 382Jouni Järvinen. A Representation of Dependence Spaces and Some Basic Algorithms
    383 -- 390Sukhamay Kundu, Jianhua Chen. A New Method of Circumscribing Beliefs: The Propositional Case

    Volume 29, Issue 3

    203 -- 223Francis Alexandre, Khaled Bsaïes. A Methodology for Constructing Logic Programs
    225 -- 256Christel Baier, Mila E. Majster-Cederbaum. How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
    257 -- 303Markus Mohnen. A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras

    Volume 29, Issue 1-2

    1 -- 26Günter Hotz, Gisela Pitsch. On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages
    27 -- 50Piotr Dembinski. Semantics of Times Concurrent Systems
    51 -- 76Jos C. M. Baeten, Jan A. Bergstra. Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time
    77 -- 96Zbigniew Huzar, Jan Magott. Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS
    97 -- 117Anthony Karel Seda. Quasi-Metrics and the Semantics of Logic Programs
    119 -- 133Ivo Düntsch, Günther Gediga. Algebraic Aspects of Attribute Dependencies in Information Systems
    135 -- 163James F. Peters III. Mechanization of Real-Time Linear CSP with Higher Order Logic
    165 -- 201Uwe Egly. On Definitional Transformations to Normal Form for Institionistic Logic
    runs on