default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 156
Volume 156, Number 1, 2017
- Stefano Bilotta, Elisabetta Grazzini, Elisa Pergola:
Pattern Avoiding Languages and Recurrence Relations Interpretation. 1-19 - Ha Bang Ban, Nguyen Duc Nghia:
A Meta-Heuristic Algorithm Combining Between Tabu and Variable Neighborhood Search for the Minimum Latency Problem. 21-41 - Mieczyslaw A. Klopotek:
On Seeking Consensus Between Document Similarity Measures. 43-68 - Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi:
Tree Automata Constructions from Regular Expressions: a Comparative Study. 69-94 - Jacek Sroka
, Jan Hidders:
On Determining the AND-OR Hierarchy in Workflow Nets. 95-123
Volume 156, Number 2, 2017
- Nicoleta Avesalon, Eleonor Ciurea, Mircea Parpalea:
The Maximum Parametric Flow in Discrete-time Dynamic Networks. 125-139 - Eduard Bartl, Jan Konecny:
Rough Fuzzy Concept Analysis. 141-168 - László Csató:
Eigenvector Method and Rank Reversal in Group Decision Making Revisited. 169-178 - Konrad Durnoga, Jacek Pomykala:
Large Sieve, Miller-Rabin Compositeness Witnesses and Integer Factoring Problem. 179-185 - Yansen Su, Tingfang Wu, Fei Xu, Andrei Paun:
Spiking Neural P Systems with Rules on Synapses Working in Sum Spikes Consumption Strategy. 187-208 - Naushad Varish, Sumit Kumar, Arup Kumar Pal:
A Novel Similarity Measure for Content Based Image Retrieval in Discrete Cosine Transform Domain. 209-235 - Jingqian Wang, William Zhu:
Applications of Bipartite Graphs and their Adjacency Matrices to Covering-based Rough Sets. 237-254
Volume 156, Numbers 3-4, 2017
- Damian Niwinski, Ewa Orlowska:
Preface. - Janusz Czelakowski:
Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma. 255-280 - Ivo Düntsch, Léonard Kwuida, Ewa Orlowska:
A Discrete Representation for Dicomplemented Lattices. 281-295 - Melvin Fitting:
On Modalities and Quantifiers. 297-330 - Anna B. Romanowska, Jonathan D. H. Smith:
Duality for Quasilattices and Galois Connections. 331-359 - Viorica Sofronie-Stokkermans:
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains. 361-411 - Dimiter Vakarelov:
Mereotopologies with Predicates of Actual Existence and Actual Contact. 413-432 - AUTHOR INDEX VOLUME 156. 433-434
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
