Fundamenta Informaticae, Volume 84

Volume 84, Number 1, 2008

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

Volume 84, Number 2, 2008

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

Volume 84, Numbers 3-4, 2008

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