Journal: Fundamenta Informaticae

Volume 81, Issue 4

367 -- 377Benjamín René Callejas Bedregal. Pushdown Automata Free of Explicit Nondeterminism and an Infinite Hierarchy of Context-free Languages
379 -- 408Denisa Diaconescu, George Georgescu. Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras
409 -- 439María-Inés Fernández-Camacho, José-Ramón Sánchez-Couso. Binary Search Trees, Recurrent Properties andWave Equations
441 -- 457Yo-Sub Han, Derick Wood. Outfix-Free Regular Languages and Prime Outfix-Free Decomposition
459 -- 471Florin Manea, Calina Ploscaru. A Generalization of the Assignment Problem, and its Application to the Rank Aggregation Problem
473 -- 484Jacek Marciniec. From Unification Compactness to Learnability
485 -- 490René Schott, Jean-Claude Spehner. Erratum for Shuffle of Words and Araucaria Trees

Volume 81, Issue 1-3

1 -- 17Stanislaw Krajewski, Jan Wolenski. Andrzej Grzegorczyk: Logic and Philosophy
19 -- 28André Arnold, Damian Niwinski. Continuous Separation of Game Languages
29 -- 82Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. Modal Logics for Region-based Theories of Space
83 -- 96Patrick Cégielski, Denis Richard, Maxim Vsemirnov. On the Additive Theory of Prime Numbers
97 -- 122Janusz Czelakowski. Induction Principles for Sets
123 -- 137Siegfried Gottwald. Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
139 -- 154Rafal Gruszczynski, Andrzej Pietruszczak. Pieri s Structures
155 -- 163Petr Hájek. Mathematical Fuzzy Logic and Natural Numbers
165 -- 172Roman Kossak. On Some Uses of Nonstandard Models
173 -- 181Stanislaw Krajewski. On Gödel s Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to Out-Gö del the Mechanist
183 -- 202Michal Krynicki, Marcin Mostowski, Konrad Zdanowski. Finite Arithmetics
203 -- 210Larisa Maksimova. On Modal Grzegorczyk Logic
211 -- 239Victor W. Marek, Jeffrey B. Remmel. Compactness Properties for Stable Semantics of Logic Programs
241 -- 248Marcin Mostowski. Potential Infinity and the Church Thesis
249 -- 256Roman Murawski. Did Leibniz and Newton Discover or Create the Calculus?
257 -- 273Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska. Abstract Barycentric Algebras
275 -- 295Ewa Orlowska, Ingrid Rewitzky. Discrete Dualities for Heyting Algebras with Operators
297 -- 313Vladimir V. Rybakov. Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
315 -- 323Andrzej Salwicki. Andrzej Grzegorczyk s Contribution to Computer Science
325 -- 345Marian Srebrny, Ste Pien. A Propositional Programming Environment for Linear Algebra
347 -- 354Vítezslav Svejdar. An Interpretation of Robinson Arithmetic in its Grzegorczyk s Weaker Variant
355 -- 365Jan Wolenski. Logic, Rationality and Psychologism