Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 173
Volume 173, Number 1, 2020
- Kenji Kashiwabara, Ikumi Horie, Kazunori Yamaguchi
:
Higher-Order Rank Functions on Directed Graphs. 1-31 - Cheng-Kuan Lin, Liang Ma, Jianxi Fan, Lih-Hsing Hsu, Yuan-Hsiang Teng:
The Conditional-(g, d, k)-Connectivity and Conditional-(g, d, k)-edge-Connectivity on the Hypercubes. 33-45 - Wojciech Macyna, Michal Kukowski:
Flash-Aware Storage of the Column Oriented Databases. 47-72 - Abdelhamid Tioura, Hamouma Moumen, Hamoudi Kalla, Ahmed Ait Saidi:
A Hybrid Protocol to Solve Authenticated Byzantine Consensus. 73-89
Volume 173, Numbers 2-3, 2020
- Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu:
Preface. - Viorica Sofronie-Stokkermans:
Parametric Systems: Verification and Synthesis. 91-138 - Ciprian Ionut Paduraru, Gheorghe Stefanescu:
Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding, . 139-176 - Denisa Diaconescu:
Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations. 177-189 - Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
A Many-sorted Polyadic Modal Logic. 191-215 - Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh:
Causal Reasoning for Safety in Hennessy Milner Logic. 217-251
Volume 173, Number 4, 2020
- Fabio Fioravanti, John P. Gallagher, Maurizio Proietti:
Preface. - Thom W. Frühwirth:
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity. 253-283 - Michael Hanus:
Combining Static and Dynamic Contract Checking for Curry. 285-314 - Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. 315-382
a service of 
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-05-14 21:08 CEST 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:
