![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.