External Links

    Journal: Fundamenta Informaticae

    Volume 39, Issue 3

    229 -- 248Ivo Düntsch, Hui Wang, Stephen McCloskey. Relations Algebras in Qualitative Spatial Reasoning
    249 -- 258Sergey Dudakov. On the Complexity of Perfect Models of Logic Programs
    259 -- 272Bernhard Heinemann. The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees
    273 -- 304Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli. A Comprehensive Setting for Matching and Unification over Iterative Terms
    305 -- 325Teodor Knapik, Hugues Calbrix. Thue Specifications and Their Monadic Second-order Properties
    327 -- 336Heike Müller, Torsten Hilbrich, Ralf Kühnel. An Assistant Agent
    runs on