default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScientific 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
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.
last updated on 2024-12-31 21:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
