![](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 125
Volume 125, Number 1, 2013
- Chiheb Ameur Abid
, Belhassen Zouari:
Local Verification Using a Distributed State Space. 1-20 - Mariusz Felisiak:
Computer Algebra Technique for Coxeter Spectral Study of Edge-bipartite Graphs and Matrix Morsifications of Dynkin Type 𝔸n. 21-49 - Norihiro Kamide, Ken Kaneiwa:
Reasoning about Resources and Information: A Linear Logic Approach. 51-70 - Armand Stefan Rotaru, Sorin Iftene:
A Complete Generalization of Atkin's Square Root Algorithm. 71-94 - Apoloniusz Tyszka
:
Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set? 95-99
Volume 125, Number 2, 2013
- Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier:
A Resolution Calculus for First-order Schemata. 101-133 - Jianwu Dong, Feng Chen, Yanyan Huo, Hong Liu:
Decomposition and Approximation of Loopy Bayesian Networks. 135-152 - Rija Erves, Janez Zerovnik
:
Wide-diameter of Product Graphs. 153-160 - Maciej Grzeskowiak
:
Algorithms for Relatively Cyclotomic Primes. 161-181 - Piotr Kosiuczenko:
On the Validation of Invariants at Runtime. 183-222
Volume 125, Numbers 3-4, 2013
- Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg:
Preface. i-xviii - Rodolfo A. Fiorini, Giuseppe Laguteta:
Discrete Tomography Data Footprint Reduction by Information Conservation. 261-272 - Kees Joost Batenburg, Wagner Fortes, Robert Tijdeman:
Approximate Discrete Reconstruction Algorithm. 239-259 - Stefano Bilotta
, Simone Rinaldi
, Samanta Socci:
Polygons Drawn from Permutations. 329-342 - Hilde Segers, Willem Jan Palenstijn, Kees Joost Batenburg, Jan Sijbers
:
Discrete Tomography in MRI: a Simulation Study. 223-237 - Norbert Hantos, Péter Balázs:
The Reconstruction of Polyominoes from Horizontal and Vertical Projections and Morphological Skeleton is NP-complete. 343-359 - Roberto Fedele
, Antonia Ciani, Luca Galantucci
, Matteo Bettuzzi
, Luca Andena:
A Regularized, Pyramidal Multi-grid Approach to Global 3D-Volume Digital Image Correlation Based on X-ray Micro-tomography. 361-376 - Stefania Petra, Christoph Schnörr, Andreas Schröder:
Critical Parameter Values and Reconstruction Properties of Discrete Tomography: Application to Experimental Fluid Dynamics. 285-312 - Rodolfo A. Fiorini, Andrea Condorelli, Giuseppe Laguteta:
Discrete Tomography Data Footprint Reduction via Natural Compression. 273-284 - Elena Barcucci, Stefano Brocchi:
Solving Multicolor Discrete Tomography Problems by Using Prior Knowledge. 313-328
![](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.