default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScientific Annals of Computer Science, Volume 25
Volume 25, Number 1, 2015
- Gabriel Ciobanu:
A Grand Master of Discrete Mathematics. 1-2 - Cezar Câmpeanu
:
Non-Deterministic Finite Cover Automata. 3-28 - Daniela Cheptea, George Georgescu, Claudia Muresan:
Boolean Lifting Properties for Bounded Distributive Lattices. 29-67 - Denisa Diaconescu, Ioana Leustean:
Mutually Exclusive Nuances of Truth in Moisil Logic. 69-88 - Afrodita Iorgulescu:
Quasi-Algebras versus Regular Algebras - Part I. 89-131 - Gabriel Istrate:
Identifying Almost Sorted Permutations from TCP Buffer Dynamics. 133-154 - Dan A. Simovici:
Several Remarks on Dissimilarities and Ultrametrics. 155-170
Volume 25, Number 2, 2015
- Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten:
Formations of Monoids, Congruences, and Formal Languages. 171-209 - Jan A. Bergstra, Cornelis A. Middelburg:
Probabilistic Thread Algebra. 211-243 - Ross Horne:
The Consistency and Complexity of Multiplicative Additive System Virtual. 245-316 - Timur Umarov:
Verification and Validation of Formal Data-Centric Business Models. 317-355
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 2025-03-08 00:49 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:
