Fundamenta Informaticae, Volume 94

Volume 94, Number 1, 2009

• Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
  Timed P Automata. 1-19
  
• Rajeev Goré, Linh Anh Nguyen:
  Clausal Tableaux for Multimodal Logics of Belief. 21-40
  
• Michiro Kondo:
  Algebraic Properties of Generalized Rough Sets. 41-48
  
• Ewa Madalinska-Bugaj, Witold Lukaszewicz:
  First-order Generalization of the MPMA Belief Update Operator. 49-61
  
• Maurice Margenstern:
  The Injectivity of the Global Function of a Cellular Automaton in the Hyperbolic Plane is Undecidable. 63-99
  
• Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko:
  Greedy Algorithms with Weights for Construction of Partial Association Rules. 101-120