External Links

    Journal: Fundamenta Informaticae

    Volume 25, Issue 2

    99 -- 121Colin de la Higuera, Marie-Catherine Daniel-Vatonne. On Sets of Terms: A Study of a Generalisation Relation and of Its Algorithmic Properties
    123 -- 174R. Stephens, B. C. Thompson. Cartesian Stream Transformer Compositon
    175 -- 181Erkki Mäkinen. A Note on the Grammatical Inference Problem for Even Linear Languages
    183 -- 200Wojciech Penczek. Axiomatizations of Temporal Logics on Trace Systems
    201 -- 214Mikhail Moshkov. Comparative Analysis of Deterministic and Nondeterministic Decision Tree Complexity
    runs on