Fundamenta Informaticae, Volume 46

Volume 46, Number 1-2, April 2001

Anthony G. Cohn, Shyamanta M. Hazarika: Qualitative Spatial Representation and Reasoning: An Overview. 1-29 BibTeX
Ernest Davis: Continuous Shape Transformation and Metrics on Regions. 31-54 BibTeX
Antony Galton: Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems. 55-70 BibTeX
Ivo Düntsch, Ewa Orlowska, Hui Wang: Algebras of Approximating Regions. 71-82 BibTeX
Lech Polkowski: On Connection Synthesis via Rough Mereology. 83-96 BibTeX
Thomas Bittner: The Qualitative Structure of Built Environments. 97-128 BibTeX
Dominik J. Schoop: Points in point-free mereotopology. 129-143 BibTeX
Brandon Bennett: A Categorical Axiomatisation of Region-Based Geometry. 145-158 BibTeX
Ian Pratt-Hartmann: Empiricism and Rationalism in Region-based Theories of Space. 159-186 BibTeX

Sergio A. Celani: A Fragment of Intuitionistic Dynamic Logic. 187-197 BibTeX
Churn-Jung Liau, Duen-Ren Liu: A Possibilistic Decision Logic with Applications. 199-217 BibTeX
Andries Petrus Engelbrecht: Sensitivity Analysis for Selective Learning by Feedforward Neural Networks. 219-252 BibTeX
Ferucio Laurentiu Tiplea, Erkki Mäkinen: A Note on SE-Systems and Regular Canonical Systems. 253-256 BibTeX
Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez: Algorithms and Reductions for Rewriting Problems. 257-276 BibTeX

Radim Belohlávek: Reduction and a Simple Proof of Characterization of Fuzzy Concept Lattices. 277-285 BibTeX
Martin Dietzfelbinger, Anna Gambin, Slawomir Lasota: On Different Models for Packet Flow in Multistage Interconnection Networks. 287-314 BibTeX
Linh Anh Nguyen: The Modal Query Language MDatalog. 315-342 BibTeX
Jan Ostravsky: Prelanguages Versus Submonoids. 343-348 BibTeX
Christian Ronse, Jean Serra: Geodesy and connectivity in lattices. 349-395 BibTeX