External Links

    Journal: Fundamenta Informaticae

    Volume 152, Issue 4

    323 -- 339Eryk Kopczynski. Computational Complexity on the Blackboard
    341 -- 372Roussanka Loukanova. An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar
    373 -- 396Xindong Peng, Jingguo Dai, Huiyong Yuan. Interval-valued Fuzzy Soft Decision Making Methods Based on MABAC, Similarity Measure and EDAS
    397 -- 409Jirí Síma, Stanislav Zák. On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity
    411 -- 433Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata
    runs on