Fundamenta Informaticae, Volume 44

Volume 44, Number 1-2, September 2000

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

Volume 44, Number 3, October 2000

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

Volume 44, Number 4, November-December 2000

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

Last update Mon Feb 13 04:48:16 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page