![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Scientific Annals of Computer Science, Volume 31
Volume 31, Number 1, August 2021
- Jan A. Bergstra
:
Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent. 1-50 - Claudia Muresan
:
A Note on Congruences of Infinite Bounded Involution Lattices. 51-78 - Luís M. S. Russo, Alexandre P. Francisco
:
Small Longest Tandem Scattered Subsequences. 79-110 - Mickaël Trezzy, Ileana Ober
, Iulian Ober, Raquel Araújo de Oliveira
:
Applying MDE to ROS Systems: A Comparative Analysis. 111-144
Volume 31, Number 2, December 2021
- Shibsankar Das
, Shikha Rai
:
Topological Characterization of the Third Type of Triangular Hex-derived Networks. 145-161 - Afrodita Iorgulescu:
On Quantum-MV Algebras - Part I: The Orthomodular Algebras. 163-222 - Eleni Mandrali:
A Translation of Weighted LTL Formulas to Weighted B{\" u}chi Automata over {\(\omega\)}-valuation Monoids. 223-292 - Ali Gholami Rudi:
Maximizing the Number of Visible Labels on a Rotating Map. 293-313
![](https://dblp.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.