Abstract is missing.
- Enhancing Characters Distance Text Sampling by Condensed AlphabetsSimone Faro, Francesco Pio Marino, Arianna Pavone. 1-15 [doi]
- Proving a Conjecture on 8-Distance Coloring of the Infinite Hexagonal GridSasthi C. Ghosh, Subhasis Koley. 16-26 [doi]
- A Simple Optimal Contention Resolution Scheme for Uniform MatroidsRichard Santiago, Danish Kashaev. 27-39 [doi]
- Cooperative Truck-Drone Scheduling Approach for Last-Mile DeliveriesFrancesco Betti Sorbelli, Federico Corò, Sajal K. Das 0001, Lorenzo Palazzetti, Cristina M. Pinotti. 40-45 [doi]
- Ordering Regular Languages: a Danger ZoneDavide Martincigh, Giovanna D'Agostino, Alberto Policriti. 46-69 [doi]
- Extended ω-Regular Languages and Interval Temporal LogicDario Della Monica, Angelo Montanari, Pietro Sala. 70-86 [doi]
- Iterated Transduction on Unary LanguagesMartin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano. 87-92 [doi]
- A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief RevisionStefano Bistarelli, Carlo Taticchi. 93-106 [doi]
- On Counting Propositional Logic and Wagner's HierarchyMelissa Antonelli, Ugo Dal Lago, Paolo Pistone. 107-121 [doi]
- Recent Results on Strategy Logic with Imperfect InformationBastien Maubert. 122-128 [doi]
- Inference From Non-Horn Clauses With Partial PredicatesAlexander Sakharov. 129-134 [doi]
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11)Arnaldo Cesco, Roberto Gorrieri. 135-149 [doi]
- A Decidable Theory Treating Addition of Differentiable Real FunctionsGabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà. 150-163 [doi]
- Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean LanguagesDomenico Cantone, Pietro Maugeri, Eugenio G. Omodeo. 164-178 [doi]
- L(2, 1)-Edge Labeling of Infinite Triangular GridSusobhan Bandopadhyay, Sasthi C. Ghosh, Subhasis Koley. 179-192 [doi]
- On Counting L-Convex PolyominoesValentina Dorigatti, Paolo Massazza. 193-198 [doi]
- Reducing the Local Alphabet Size in Tiling Systems for Picture LanguagesStefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro. 199-204 [doi]
- Fractional Hedonic Games With a Limited Number of CoalitionsFu Li. 205-218 [doi]
- The Obnoxious Facility Location Game with Dichotomous PreferencesFu Li, C. Gregor Plaxton, Vaibhav B. Sinha. 219-233 [doi]
- Stability of Special Graph ClassesRobin Weishaupt, Jörg Rothe. 234-248 [doi]
- Nondeterministically Selecting Positive Instances of Context-Free LanguagesTomoyuki Yamakami. 249-265 [doi]
- Enhanced Regular Corecursion for Data StreamsDavide Ancona, Pietro Barbieri, Elena Zucca. 266-280 [doi]
- A Filter Model for the State MonadUgo de'Liguoro, Riccardo Treglia. 281-286 [doi]
- Fast Classical and Quantum Algorithms for Online k-server Problem on TreesRuslan Kapralov, Kamil Khadiev, Joshua Mokut, Yixin Shen 0001, Maxim Yagafarov. 287-301 [doi]
- Combine Model Checking and Runtime Verification in Multi-Agent SystemsAngelo Ferrando, Vadim Malvone. 302-310 [doi]
- Towards a Model Checking Tool for Strategy Logic with Simple GoalsVadim Malvone, Silvia Stranieri. 311-316 [doi]
- Hardness of MSA with Selective Column ScoringAndrea Caucchiolo, Ferdinando Cicalese. 317-327 [doi]
- Pruned BNDM: Extending the Bit-Parallel Suffix Automata to Large StringsSimone Faro, Stefano Scafiti. 328-340 [doi]