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
Volume 46, Number 3, May 2001
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
Volume 46, Number 4, June-July 2001
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
Copyright ©
Sat May 16 23:59:24 2009 by
Michael Ley
(
ley@uni-trier.de
)