Fundamenta Informaticae, Volume 44

Volume 44, Number 1-2, September 2000

Isto Aho: Interactive Knapsacks. 1-23 BibTeX
Martin Büchi, Emil Sekerinski: A Foundation for Refining Concurrent Objects. 25-61 BibTeX
Stanislaw Chrobot: Sharing Variables in Distributed Memory. 63-81 BibTeX
Erzsébet Csuhaj-Varjú, Victor Mitrana: Dynamical Teams in Eco-Grammar Systems. 83-94 BibTeX
Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: The PMA and Relativizing Minimal Change for Action Update. 95-131 BibTeX
Benedetto Intrigila, Anna Rita Laurenzi: Two Problems on Reduction Graphs in Lambda Calculus. 133-144 BibTeX
Lyubomir Ivanov: Platek Spaces. 145-181 BibTeX
Lyubomir Ivanov: Boldface Recursion on Platek Spaces. 183-208 BibTeX

Nadia Busi, G. Michele Pinna: Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. 209-244 BibTeX
Pavel Martinek: On a Construction of Context-free Grammars. 245-264 BibTeX
Étienne Payet: Thue Specifications, Infinite Graphs and Synchronized Product. 265-290 BibTeX
Dominik Slezak: Normalized Decision Functions and Measures for Inconsistent Decision Tables Analysis. 291-319 BibTeX

Anastasia Analyti, Nicolas Spyratos, Panos Constantopoulos: Deriving and Retrieving Contextual Categorical Information through Instance Inheritance. 321-351 BibTeX
Jürgen Dassow, Carlos Martín-Vide, Gheorghe Paun, Alfonso Rodríguez-Patón: Conditional Concatenation. 353-372 BibTeX
Stéphane Demri, Jaroslaw Stepaniuk: Computational Complexity of Multimodal Logics Based on Rough Sets. 373-396 BibTeX
Ágnes Kurucz, István Németi: Representability of Pairing Relation Algebras Depends on your Ontology. 397-420 BibTeX