Fundamenta Informaticae, Volume 55

Volume 55, Number 1, 2003

Stephen L. Bloom, Zoltán Ésik:
Deciding whether the frontier of a regular tree is scattered. 1-21
Electronic Edition (link) BibTeX
Jean-Marc Champarnaud, Fabien Coulon:
Theoretical study and implementation of the canonical automaton. 23-38
Electronic Edition (link) BibTeX
Liviu Petrisor Dinu:
On the Classification and Aggregation of Hierarchies with Different Constitutive Elements. 39-50
Electronic Edition (link) BibTeX
Mikhail Ju. Moshkov:
Compressible Infinite Information Systems. 51-61
Electronic Edition (link) BibTeX
Linh Anh Nguyen:
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. 63-100
Electronic Edition (link) BibTeX

Special Issue

Vladimir A. Bashkin, Irina A. Lomazova:
Petri nets and resource bisimulation. 101-114
Electronic Edition (link) BibTeX
Marco Bellia, M. Eugenia Occhiuto:
N-axioms Parallel Unification. 115-128
Electronic Edition (link) BibTeX
Berndt Farwer, Kundan Misra:
Modelling with Hierarchical Object Petri Nets. 129-147
Electronic Edition (link) BibTeX
Krzysztof Pancerz, Zbigniew Suraj:
Synthesis of Petri Net Models: A Rough Set Approach. 149-165
Electronic Edition (link) BibTeX
Wojciech Penczek, Alessio Lomuscio:
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. 167-185
Electronic Edition (link) BibTeX
Louchka Popova-Zeugmann, Matthias Werner, Jan Richling:
Using State Equation to Prove Non-Reachability in Timed Petrinets. 187-202
Electronic Edition (link) BibTeX
Agata Pólrola, Wojciech Penczek, Maciej Szreter:
Reachability Analysis for Timed Automata Using Partitioning Algorithms. 203-221
Electronic Edition (link) BibTeX
Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek:
Checking Reachability Properties for Timed Automata via SAT. 223-241
Electronic Edition (link) BibTeX

Suna Aydin, Henning Bordihn:
Sequential Versus Parallel Grammar Formalisms with Respect to Measures of Descriptional Complexity. 243-254
Electronic Edition (link) BibTeX
Gianpiero Cattaneo, Davide Ciucci:
Shadowed Sets and Related Algebraic Structures. 255-284
Electronic Edition (link) BibTeX
Bogdan S. Chlebus, Leszek Gasieniec, Andrzej Pelc:
Deterministic Computations on a PRAM with Static Processor and Memory Faults. 285-306
Electronic Edition (link) BibTeX
Cheng-Chi Lee, Wei-Pang Yang, Min-Shiang Hwang:
Untraceable Blind Signature Schemes Based on Discrete Logarithm Problem. 307-320
Electronic Edition (link) BibTeX
Razvan Diaconescu:
Institution-independent Ultraproducts. 321-348
Electronic Edition (link) BibTeX
Maciej Kandulski:
Derived Tree Languages of Nonassociative Lambek Categorial Grammars with Product. 349-362
Electronic Edition (link) BibTeX
Sanjiang Li, Mingsheng Ying:
Extensionality of the RCC8 Composition Table. 363-385
Electronic Edition (link) BibTeX
Karsten Weicker, Nicole Weicker:
Basic principles for understanding evolutionary algorithms. 387-403
Electronic Edition (link) BibTeX