Journal: Fundamenta Informaticae

Volume 41, Issue 3

259 -- 294Christel Baier, Marta Z. Kwiatkowska. On Topological Hierarchies of Temporal Properties
295 -- 299Mikhail Moshkov, Igor Chikalov. On Algorithm for Constructing of Decision Trees with Minimal Depth
301 -- 311Mikhail Moshkov. Deterministic and Nondeterministic Decision Trees for Rough Computing
313 -- 340Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. Membrane Computing with External Output
341 -- 366Zacharias Tsiatsoulis, John Yiannis Cotronis. Testing and Debugging Message Passing Programs in Synergy with their Specifications