External Links

    Journal: Fundamenta Informaticae

    Volume 111, Issue 4

    357 -- 371Jean-Marc Champarnaud, Jacques Farré, Franck Guingne. Reduction Techniques for Acyclic Cover Transducers
    373 -- 390Zhi-Hong Deng, Ning Gao, Xiaoran Xu. Mop: An Efficient Algorithm for Mining Frequent Pattern with Subtree Traversing
    391 -- 412Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu. Efficient Algorithms for Games Played on Trees with Back-edges
    413 -- 422Manish Garg, Sugata Gangopadhyay. A Lower Bound of the Second-order Nonlinearities of Boolean Bent Functions
    423 -- 436Mihai Ionescu, Gheorghe Paun, Mario J. Pérez-Jiménez, Takashi Yokomori. Spiking Neural dP Systems
    437 -- 451Andrzej Kisielewicz, Marek Szykula. Rainbow Induced Subgraphs in Proper Vertex Colorings
    453 -- 464Taishin Yasunobu Nishida. Computing k-block Morphisms by Spiking Neural P Systems
    465 -- 466. AUTHOR INDEX VOLUME 111

    Volume 111, Issue 3

    257 -- 279Stefano Bistarelli, Francesco Santini. A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
    281 -- 311John Case, Samuel E. Moelius. Properties Complementary to Program Self-Reference
    313 -- 337Francisco Claude, Gonzalo Navarro. Self-Indexed Grammar-Based Compression
    339 -- 355Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter. Runtime Monitoring of Contract Regulated Web Services

    Volume 111, Issue 2

    119 -- 145Zhe Chen. On the Generative Power of ω-Grammars and ω-Automata
    147 -- 161Wit Forys, Piotr Oprocha. Infinite Traces and Symbolic Dynamics - the Minimal Shift Case
    163 -- 202Zoltán Fülöp, Andreas Maletti, Heiko Vogler. Weighted Extended Tree Transducers
    203 -- 222Benedetto Intrigila, Richard Statman. Solution to the Range Problem for Combinatory Logic
    223 -- 239Yanhong She, Xiaoli He, Guojun Wang. Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
    241 -- 256Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Jianxi Fan. Forward-Secure Identity-Based Public-Key Encryption without Random Oracles

    Volume 111, Issue 1

    0 -- 0Wei-Zhi Wu, Dominik Slezak, Hung Son Nguyen. Preface
    1 -- 14Taichi Haruna, Yukio-Pegio Gunji. Double Approximation and Complete Lattices
    15 -- 32Tong-Jun Li, Wei-Zhi Wu. Attribute Reduction in Formal Contexts: A Covering Rough Set Approach
    33 -- 45Yanqing Yao, Ju-Sheng Mi, Zhoujun Li, Bin Xie 0003. The Construction of Fuzzy Concept Lattices Based on (θ, σ)-Fuzzy Rough Approximation Operators
    47 -- 63Zhengjiang Wu, Tian-rui Li, Keyun Qin, Da Ruan. Approximation Operators, Binary Relation and Basis Algebra in L-fuzzy Rough Sets
    65 -- 79Yong Du, Qinghua Hu, Degang Chen, Peijun Ma. Kernelized Fuzzy Rough Sets Based Yawn Detection for Driver Fatigue Monitoring
    81 -- 90Jian Yu, Miin-Shen Yang, Pengwei Hao. A Novel Multimodal Probability Model for Cluster Analysis
    91 -- 117Deepti Mishra, Alok Mishra. Object-Oriented Inheritance Metrics in the Context of Cognitive Complexity
    runs on