Fundamenta Informaticae, Volume 79

Volume 79, Number 1-2, 2007

• Paul Bell:
  A Note on the Emptiness of Semigroup Intersections. 1-4
  Electronic Edition (link) BibTeX
• Robert Cowen, Adam Kolany:
  Davis-Putnam Style Rules for Deciding Property S. 5-15
  Electronic Edition (link) BibTeX
• Gregory J. Chaitin:
  An Algebraic Characterization of the Halting Probability. 17-23
  Electronic Edition (link) BibTeX
• Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko:
  A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. 25-69
  Electronic Edition (link) BibTeX
• Grzegorz Herman, Tim Paterson, Michael Soltys:
  A Propositional Proof System with Quantification Over Permutations. 71-83
  Electronic Edition (link) BibTeX
• Linh Anh Nguyen:
  Foundations of Modal Deductive Databases. 85-135
  Electronic Edition (link) BibTeX
• Alexander Rabinovich:
  Composition Theorem for Generalized Sum. 137-167
  Electronic Edition (link) BibTeX
• Zenon Sadowski:
  Optimal Proof Systems, Optimal Acceptors and Recursive Presentability. 169-185
  Electronic Edition (link) BibTeX
• Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker:
  Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. 187-208
  Electronic Edition (link) BibTeX
• Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker:
  Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. 209-227
  Electronic Edition (link) BibTeX
• Bozena Wozna, Andrzej Zbrzezny:
  Bounded Model Checking for the Existential Fragment of TCTL_-G and Diagonal Timed Automata. 229-256
  Electronic Edition (link) BibTeX
• Wei-Guo Zhang, Ying-Luo Wang:
  A Comparative Analysis of Possibilistic Variances and Covariances of Fuzzy Numbers. 257-263
  Electronic Edition (link) BibTeX

Volume 79, Number 3-4, 2007

• Antoni Mazurkiewicz:
  Compositional Systems over Reducible Networks. 265-282
  Electronic Edition (link) BibTeX
• Ludwik Czaja:
  Interpreted Nets. 283-293
  Electronic Edition (link) BibTeX
• Roxana Dietze, Manfred Kudlek, Olaf Kummer:
  Decidability Problems of a Basic Class of Object Nets. 295-302
  Electronic Edition (link) BibTeX
• Berndt Farwer, Manfred Kudlek, Heiko Rölke:
  Concurrent Turing Machines. 303-317
  Electronic Edition (link) BibTeX
• Anna Gomolinska:
  Approximation Spaces Based on Relations of Similarity and Dissimilarity of Objects. 319-333
  Electronic Edition (link) BibTeX
• Damas P. Gruska:
  Observation Based System Security. 335-346
  Electronic Edition (link) BibTeX
• Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova:
  Checking Properties of Adaptive Workflow Nets. 347-362
  Electronic Edition (link) BibTeX
• Gizela Jakubowska, Wojciech Penczek:
  Modelling and Checking Timed Authentication of Security Protocols. 363-378
  Electronic Edition (link) BibTeX
• Agata Janowska, Wojciech Penczek:
  Path Compression in Timed Automata. 379-399
  Electronic Edition (link) BibTeX
• Michael Köhler:
  The Reachability Problem for Object Nets. 401-413
  Electronic Edition (link) BibTeX
• Michael Köhler:
  A Formal Model of Multi-Agent Organisations. 415-430
  Electronic Edition (link) BibTeX
• Sergiy Kryvyy, Lyudmila Matvyeyeva:
  Algorithm of Translation of MSC-specified System into Petri Net. 431-445
  Electronic Edition (link) BibTeX
• Manfred Kudlek:
  On Semilinear Sets over Commutative Semirings. 447-452
  Electronic Edition (link) BibTeX
• Miroslaw Kurkowski, Wojciech Penczek:
  Verifying Security Protocols Modelled by Networks of Automata. 453-471
  Electronic Edition (link) BibTeX
• Alessio Lomuscio, Franco Raimondi, Bozena Wozna:
  Verification of the TESLA protocol in MCMAS-X. 473-486
  Electronic Edition (link) BibTeX
• Antoni Mazurkiewicz:
  Local Properties of Triangular Graphs. 487-495
  Electronic Edition (link) BibTeX
• James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk:
  Nearness of Objects: Extension of Approximation Space Model. 497-512
  Electronic Edition (link) BibTeX
• Roman R. Redziejowski:
  Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking. 513-524
  Electronic Edition (link) BibTeX
• Jaroslaw Stepaniuk:
  Relational Data and Rough Sets. 525-539
  Electronic Edition (link) BibTeX
• Zbigniew Suraj, Barbara Fryc:
  Analysis of Approximate Petri Nets by Means of Occurrence Graphs. 541-551
  Electronic Edition (link) BibTeX
• Zbigniew Suraj, Krzysztof Pancerz:
  Towards Efficient Computing Consistent and Partially Consistent Extensions of Information Systems. 553-566
  Electronic Edition (link) BibTeX
• Marcin Wolski:
  Approximation Spaces and Nearness Type Structures. 567-577
  Electronic Edition (link) BibTeX
• Andrzej Zbrzezny, Agata Pólrola:
  SAT-Based Reachability Checking for Timed Automata with Discrete Data. 579-593
  Electronic Edition (link) BibTeX