Journal: Fundamenta Informaticae

Volume 156, Issue 3-4

0 -- 0Damian Niwinski, Ewa Orlowska. Preface
255 -- 280Janusz Czelakowski. Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma
281 -- 295Ivo Düntsch, Léonard Kwuida, Ewa Orlowska. A Discrete Representation for Dicomplemented Lattices
297 -- 330Melvin Fitting. On Modalities and Quantifiers
331 -- 359Anna B. Romanowska, Jonathan D. H. Smith. Duality for Quasilattices and Galois Connections
361 -- 411Viorica Sofronie-Stokkermans. n-ary Roles and Numerical Domains
413 -- 432Dimiter Vakarelov. Mereotopologies with Predicates of Actual Existence and Actual Contact
433 -- 434. AUTHOR INDEX VOLUME 156

Volume 156, Issue 2

125 -- 139Nicoleta Avesalon, Eleonor Ciurea, Mircea Parpalea. The Maximum Parametric Flow in Discrete-time Dynamic Networks
141 -- 168Eduard Bartl, Jan Konecny. Rough Fuzzy Concept Analysis
169 -- 178László Csató. Eigenvector Method and Rank Reversal in Group Decision Making Revisited
179 -- 185Konrad Durnoga, Jacek Pomykala. Large Sieve, Miller-Rabin Compositeness Witnesses and Integer Factoring Problem
187 -- 208Yansen Su, Tingfang Wu, Fei Xu, Andrei Paun. Spiking Neural P Systems with Rules on Synapses Working in Sum Spikes Consumption Strategy
209 -- 235Naushad Varish, Sumit Kumar, Arup Kumar Pal. A Novel Similarity Measure for Content Based Image Retrieval in Discrete Cosine Transform Domain
237 -- 254Jingqian Wang, William Zhu. Applications of Bipartite Graphs and their Adjacency Matrices to Covering-based Rough Sets

Volume 156, Issue 1

1 -- 19Stefano Bilotta, Elisabetta Grazzini, Elisa Pergola. Pattern Avoiding Languages and Recurrence Relations Interpretation
21 -- 41Ha Bang Ban, Nguyen Duc Nghia. A Meta-Heuristic Algorithm Combining Between Tabu and Variable Neighborhood Search for the Minimum Latency Problem
43 -- 68Mieczyslaw A. Klopotek. On Seeking Consensus Between Document Similarity Measures
69 -- 94Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi. Tree Automata Constructions from Regular Expressions: a Comparative Study
95 -- 123Jacek Sroka, Jan Hidders. On Determining the AND-OR Hierarchy in Workflow Nets