Journal: Fundamenta Informaticae

Volume 84, Issue 3-4

291 -- 303Alexander Clark, Chris Watkins. Some Alternatives to Parikh Matrices Using String Kernels
305 -- 327Manfred Droste, Werner Kuich, George Rahonis. Multi-Valued MSO Logics OverWords and Trees
329 -- 351Ali Hamzeh, Adel Rahmani. A New Architecture for Learning Classifier Systems to Solve POMDP Problems
353 -- 361Hui-Feng Huang, Chin-Chen Chang. A Novel Cryptographic Key Assignment Scheme with ID-Based Access Control in a Hierachy
363 -- 373Tseren-Onolt Ishdorj, Remco Loos, Ion Petre. Computational Efficiency of Intermolecular Gene Assembly
375 -- 390Alexandr Kazda. The Chain Relation in Sofic Subshifts
391 -- 402Ching-Chiuan Lin, Nien-Lin Hsueh, Wen-Hsiang Shen. Adaptively Embedding Binary Data in an Image
403 -- 427Yong Liu, Congfu Xu, Qiong Zhang, Yunhe Pan. Rough Rule Extracting From Various Conditions: Incremental and Approximate Approaches for Inconsistent Data
429 -- 442Swarnajyoti Patra, Susmita Ghosh, Ashish Ghosh. Change Detection of Remote Sensing Images with Semi-supervised Multilayer Perceptron
443 -- 470Kurt Ranalter. A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication
471 -- 492Sriparna Saha, Sanghamitra Bandyopadhyay. Fuzzy Symmetry Based Real-Coded Genetic Clustering Technique for Automatic Pixel Classification in Remote Sensing Imagery

Volume 84, Issue 2

151 -- 183Nicholas Asher. A Type Driven Theory of Predication with Complex Types
185 -- 205Corrado Biasi, Federico Aschieri. A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
207 -- 220Paulo Oliva, Thomas Streicher. On Krivine s Realizability Interpretation of Classical Second-Order Arithmetic
221 -- 240John Power, Miki Tanaka. Category Theoretic Semantics for Typed Binding Signatures with Recursion
241 -- 258Christophe Raffalli, Frédéric Ruyer. Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine s Work)
259 -- 289Graham White. Davidson and Reiter on Actions

Volume 84, Issue 1

1 -- 15Amihood Amir, Avivit Levy, Liron Reuveni. The Practical Efficiency of Convolutions in Pattern Matching Algorithms
17 -- 32Kangho Roh, Maxime Crochemore, Costas S. Iliopoulos, Kunsoo Park. External Memory Algorithms for String Problems
33 -- 49Hui Zhang, Qing Guo, Costas S. Iliopoulos. Algorithms for Computing the lambda-regularities in Strings
51 -- 60Andrei Kelarev. An Algorithm for BCH Codes Extended with Finite State Automata
61 -- 79Hongwei Luo, Kathy Horadam. Simulation and Measurement of Complex Network Growth: the Interplay of Uniform and Preferential Attachment
81 -- 97Eunhui Park, Kunsoo Park. An Improved Boolean Circuit for Maximum Matching in a Convex Bipartite Graph
99 -- 110James G. Lefevre, Diane Donovan, Ales Drápal. Permutation Representation of 3 and 4-Homogenous Latin Bitrades
111 -- 133Orestes Bueno, Prabhu Manyem. Polynomial-TimeMaximisation Classes: Syntactic Hierarchy
135 -- 149J. F. Weng, James MacGregor Smith, Marcus Brazil, D. A. Thomas. Equivalence, Indicators, Quasi-indicators and Optimal Steiner Topologies on Four Points in Space