|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Wallner, Michael | A bijection of plane increasing trees with relaxed binary trees of right height at most one | Artikel Article  | 2019 |
| 2 | | Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel | Algorithmic introduction of quantified cuts | Artikel Article | 2014 |
| 3 | | Genitrini, Antoine ; Gittenberger, Bernhard ; Kraus, Veronika ; Mailler, Cécile | Associative and commutative tree representations for Boolean functions | Artikel Article | 2015 |
| 4 | | Gupta, Sushmita ; Roy, Sanjukta ; Saurabh, Saket ; Zehavi, Meirav | Balanced stable marriage: How close is close enough? | Artikel Article | 2021 |
| 5 | | Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik | CERES: An analysis of Fürstenberg's proof of the infinity of primes | Artikel Article | 2008 |
| 6 | | Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut | Closure properties and complexity of rational sets of regular languages | Artikel Article | 2015 |
| 7 | | Kreutzer, Stephan ; Ordyniak, Sebastian | Complexity and monotonicity results for domination games | Artikel Article | 2016 |
| 8 | | Alhazov, Artiom ; Ivanov, Sergui ; Freund, Rudolf ; Ivanov, Sergiu ; Siromoney, Rani ; Subramanian, K.G. | Contextual array grammars with matrix control, regular control languages, and tissue P systems control | Artikel Article | 2017 |
| 9 | | Fleischner, Herbert ; Mujuni, Egbert ; Paulusma, Daniël ; Szeider, Stefan | Covering graphs with few complete bipartite subgraphs | Artikel Article | 2009 |
| 10 | | Ciabattoni, Agata ; Metcalfe, George | Density elimination | Artikel Article | 2008 |
| 11 | | Kreutzer, Stephan ; Ordyniak, Sebastian | Digraph decompositions and monotonicity in digraph searching | Artikel Article | 2011 |
| 12 | | Baaz, Matthias ; Lolic, Anela | First-order interpolation derived from propositional interpolation | Artikel Article | 2020 |
| 13 | | Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert | First-order satisfiability in Gödel logics: an NP-complete fragment | Artikel Article | 2011 |
| 14 | | Das, Shantanu ; Focardi, Riccardo ; Luccio, Flaminia L. ; Markou, Euripides ; Squarcina, Marco | Gathering of robots in a ring with mobile faults | Artikel Article | 2019 |
| 15 | | Bandyapadhyay, Sayan ; Banik, Aritra ; Bhore, Sujoy ; Nöllenburg, Martin | Geometric planar networks on bichromatic collinear points | Artikel Article | 2021 |
| 16 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich ; Schwarz, Manfred ; Winkler, Kyrill | Gracefully degrading consensus and k-set agreement in directed dynamic networks | Artikel Article | 2018 |
| 17 | | Lellmann, Björn | Hypersequent Rules with Restricted Contexts for Propositional Modal Logics | Artikel Article | 2016 |
| 18 | | Ariful Islam, Md. ; Murthy, Abhishek ; Bartocci, Ezio ; Cherry, Elizabeth M. ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu | Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation | Artikel Article | 2015 |
| 19 | | Gramlich, Bernhard | Modularity in term rewriting revisited | Artikel Article | 2012 |
| 20 | | Stankovič, Miroslav ; Bartocci, Ezio ; Kovács, Laura | Moment-based analysis of Bayesian network properties | Artikel Article | 2022 |
