default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScientific Annals of Computer Science, Volume 28
Volume 28, Number 1, 2018
- Andrei Alexandru:
The Theory of Finitely Supported Structures and Choice Forms. 1-38 - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction Sequences Expressing Multiplication Algorithms. 39-66 - George Georgescu, Claudia Muresan:
The Reticulation of a Universal Algebra. 67-113 - R. Koohnavard, A. Borumand Saeid:
(Skew) Filters in Residuated Skew Lattices. 115-140 - Dan A. Simovici, Roman A. Sizov:
On Partition Metric Space, Index Function, and Data Compression. 141-156
Volume 28, Number 2, 2018
- Gabriel Ciobanu:
High-Level Koutny Net. 157-159 - Clément Bertrand, Frédéric Peschanski, Hanna Klaudel, Matthieu Latapy:
Pattern Matching in Link Streams: Timed-Automata with Finite Memory. 161-198 - Eike Best, Raymond R. Devillers, Uli Schlachter, Harro Wimmel:
Simultaneous Petri Net Synthesis. 199-236 - Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski:
A Precise Characterisation of Step Traces and Their Concurrent Histories. 237-267 - Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek:
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. 269-288 - Ayleen Schinko, Walter Vogler:
Fault-Free Refinements for Interface Automata. 289-337
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-11-18 20:51 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:
