0 | -- | 0 | Manuel Bodirsky, Antoine Mottet. A Dichotomy for First-Order Reducts of Unary Structures |
0 | -- | 0 | Eryk Kopczynski, Tony Tan. A note on first-order spectra with binary relations |
0 | -- | 0 | Willem Conradie, Salih Durhan, Guido Sciavicco. An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I) |
0 | -- | 0 | Carsten Rösnick-Neugebauer. Closed Sets and Operators thereon: Representations, Computability and Complexity |
0 | -- | 0 | Valentina Castiglioni, Daniel Gebler, Simone Tini. SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes |
0 | -- | 0 | Zhiwei Zou, Qingguo Li, Weng Kin Ho. Domains via approximation operators |
0 | -- | 0 | Dongsheng Zhao, Luoshan Xu. Uniqueness of directed complete posets based on Scott closed set lattices |
0 | -- | 0 | Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco. On Sub-Propositional Fragments of Modal Logic |
0 | -- | 0 | Péter Battyányi, Karim Nour. An estimation for the lengths of reduction sequences of the λμρθ-calculus |
0 | -- | 0 | Panos Rondogiannis, Ioanna Symeonidou. Extensional Semantics for Higher-Order Logic Programs with Negation |
0 | -- | 0 | Jirí Adámek, Stefan Milius, Henning Urbat. A Categorical Approach to Syntactic Monoids |
0 | -- | 0 | S. Akshay, Paul Gastin, Shankara Narayanan Krishna. Analyzing Timed Systems Using Tree Automata |
0 | -- | 0 | Alexandr Kazda. nnn-permutability and linear Datalog implies symmetric Datalog |
0 | -- | 0 | Harald König, Uwe Wolter. Van Kampen Colimits and Path Uniqueness |
0 | -- | 0 | Christophe Fouqueré, Myriam Quatrini. Study of Behaviours via Visitable Paths |
0 | -- | 0 | Arno Pauly, Willem L. Fouché, George Davie. Weihrauch-completeness for layerwise computability |
0 | -- | 0 | Murdoch James Gabbay. The language of Stratified Sets is confluent and strongly normalising |
0 | -- | 0 | Matteo Mio, Michal Skrzypczak, Henryk Michalewski. Monadic Second Order Logic with Measure and Category Quantifiers |
0 | -- | 0 | Eike Neumann, Martin Pape, Thomas Streicher. Computability in Basic Quantum Mechanics |