Journal: Fundamenta Informaticae

Volume 38, Issue 4

325 -- 364Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. A Subtyping for Extensible, Incomplete Objects
365 -- 375Henning Bordihn, Henning Fernau, Markus Holzer. On Accepting Pure Lindenmayer Systems
377 -- 395Flavio Corradini, Domenicantonio D Ortenzio, Paola Inverardi. On the Relationships among four Timed Process Algebras
397 -- 410Gheorghe Paun, Sheng Yu. On Synchronization in P Systems

Volume 38, Issue 3

223 -- 255Ryszard Janicki, Maciej Koutny. On Causality Semantics of Nets with Priorities
257 -- 280Martin Kappes. Multi-Bracketed Contextual Rewriting Grammars
281 -- 324Costas D. Koutras, George Koletsos, Stathis Zachos. Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces

Volume 38, Issue 1-2

1 -- 15Amir M. Ben-Amram, Neil D. Jones. A Precise Version of a Time Hierarchy Theorem
17 -- 23Martti Penttonen. Relative Cost Random Access Machines
25 -- 37Sven Skyum, Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Peter G. Binderup. The Complexity of Identifying Large Equivalence Classes
39 -- 50Merja Wanne, Matti Linna. A General Model for Adjacency
51 -- 60Stojan Bogdanovic, Miroslav Ciric, Tatjana Petkovic, Balázs Imreh, Magnus Steinby. Traps, Cores, Extensions and Subdirect Decompositions of Unary Algebras
61 -- 77Mogens Nielsen, Thomas Hune. Bisimulation and Open Maps for Timed Transition Systems
79 -- 91Eija Jurvanen, Marjo Lipponen. Distinguishability, Simulation and Universality of Moore Tree Automata
93 -- 107Jarkko Kari. On the Circuit Depth of Structurally Reversible Cellular Automata
109 -- 118Lucian Ilie. Subwords and Power-Free Words are not Expressible by Word Equations
119 -- 133Juhani Karhumäki, Sabrina Mantaci. Defect Theorems for Trees
135 -- 148Keijo Ruohonen. Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation
149 -- 161Cunsheng Ding, Kwok-Yan Lam, Chaoping Xing. Construction and Enumeration of All Binary Duadic Codes of Length p:::m:::
163 -- 180Jukka A. Koskinen. Non-Injectivity and Knapsacks
181 -- 188Valtteri Niemi, Ari Renvall. Solitaire Zero-knowledge
189 -- 200Vesa Halava, Tero Harju. Undecidability in Integer Weighted Finite Automata
201 -- 208Juha Honkala. The Equivalence Problem of D0L and DF0L Power Series
209 -- 221Paavo Turakainen. On the Decidability of Some Problems Concerning Morphisms, Regular Sets, and Post Correspondence Problem