default search action
Fundamenta Informaticae, Volume 123
Volume 123, Number 1, 2013
- Agata Ciabattoni, Rusins Freivalds, Antonín Kucera, Igor Potapov, Stefan Szeider:
Preface. - Paul C. Bell, Vesa Halava, Mika Hirvensalo:
Decision Problems for Probabilistic Finite Automata on Bounded Languages. 1-14 - Jakub Chaloupka:
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P. 15-42 - Oliver Fasching:
Gödel Homomorphisms as Gödel Modal Operators. 43-57 - Robert Ganian, Petr Hlinený, Jan Obdrzálek:
Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width. 59-76 - David Picado-Muiño:
A Consequence Relation for Graded Inference within the Frame of Infinite-valued Łukasiewicz Logic. 77-95 - Zdenek Sawa:
Efficient Construction of Semilinear Representations of Languages Accepted by Unary Nondeterministic Finite Automata. 97-106 - Abuzer Yakaryilmaz, A. C. Cem Say:
Proving the Power of Postselection. 107-134
Volume 123, Number 2, 2013
- Hamoon Mousavi, Jeffrey O. Shallit:
Filtrations of Formal Languages by Arithmetic Progressions. 135-142 - Marek Sikora, Adam Gudys:
CHIRA - Convex Hull Based Iterative Algorithm of Rules Aggregation. 143-170 - Marek Sikora:
Redefinition of Decision Rules Based on the Importance of Elementary Conditions Evaluation. 171-197 - Rudy van Vliet, Hendrik Jan Hoogeboom:
Making DNA Expressions Minimal. 199-226 - Rudy van Vliet, Hendrik Jan Hoogeboom:
A Minimal Normal Form for DNA Expressions. 227-243
Volume 123, Number 3, 2013
- Sandie Balaguer, Thomas Chatain, Stefan Haar:
Building Occurrence Nets from Reveals Relations. 245-272 - Jacek Cichon, Marek Klonowski:
On Flooding in the Presence of Random Faults. 273-287 - Alexander Meduna, Petr Zemek:
Left Random Context ET0L Grammars. 289-304 - Morteza Moniri:
Fuzzy and Intuitionistic Fuzzy Turing Machines. 305-315 - Andrzej Mróz:
On the Computational Complexity of Bongartz's Algorithm. 317-329 - Krzysztof Siminski:
Clustering with Missing Values. 331-350 - Changzhong Wang, Degang Chen, Qiang He, Qinghua Hu:
A Comparative Study of Ordered and Covering Information Systems. 351-363 - Xibei Yang, Yuhua Qian, Jingyu Yang:
On Characterizing Hierarchies of Granulation Structures via Distances. 365-380
Volume 123, Number 4, 2013
- Liliana Cojocaru, Erkki Mäkinen:
The Complexity of Szilard Languages of Matrix Grammars Revisited. 381-399 - Feng Jiang, Xiaoyan Wan, Yuefei Sui, Cungen Cao, Junwei Du:
Relational Operations and Uncertainty Measure in Rough Relational Database. 401-416 - Dominique Schmitt, Jean-Claude Spehner:
Araucaria Trees: Construction and Grafting Theorems. 417-445 - Daniel Simson:
Algorithms Determining Matrix Morsifications, Weyl orbits, Coxeter Polynomials and Mesh Geometries of Roots for Dynkin Diagrams. 447-490
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.