A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract) by Stéphane Le Roux, Arno Pauly

Get full text

Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL by Martin Zimmermann

Get full text

A Parity Game Tale of Two Counters by Tom van Dijk

Get full text

Exact traveling wave solutions of the Schamel Burgers’ equation by using generalized-improved and generalized G′G expansion methods by Sanjaya Kr. Mohanty, Oleg V. Kravchenko, Apul N. Dev

“…In this paper, we present the exact solutions of the Schamel Burgers’ equation using generalized-improved G′Gand generalized G′Gexpansion methods with the assistance of Mathematica-12 and observe the behavior of the solutions both analytically and numerically with requisite graphs. …”
Get full text

MK-fuzzy Automata and MSO Logics by Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner

Get full text

Typologie romane et position des pronoms personnels clitiques en roumain by Eugeen Roegiest

Get full text

Certification of Prefixed Tableau Proofs for Modal Logic by Tomer Libal, Marco Volpe

Get full text

Games for Topological Fixpoint Logic by Nick Bezhanishvili, Clemens Kupke

Get full text

An Optimal Decision Procedure for MPNL over the Integers by Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

Get full text

Model-Checking Process Equivalences by Martin Lange, Etienne Lozes, Manuel Vargas Guzmán

Get full text

Quantitative Reductions and Vertex-Ranked Infinite Games by Alexander Weinert

Get full text

Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations by Christof Löding, Sarah Winter

Get full text

Social Network Games with Obligatory Product Selection by Krzysztof R. Apt, Sunil Simon

Get full text

Making the Best of Limited Memory in Multi-Player Discounted Sum Games by Anshul Gupta, Sven Schewe, Dominik Wojtczak

Get full text

Connectivity Games over Dynamic Networks by Sten Grüner, Frank G. Radmacher, Wolfgang Thomas

Get full text

Non-unitary representations of nilpotent groups, I: Cohomologies, extensions and neutral cocycles by Kissin, Edward, Shulman, Victor S.

“…Let λbe a finite-dimensional representation of a connected nilpotent group Gand Ube a unitary representation of G. We investigate the structure of the extensions of λby Uand, correspondingly, the group H1(λ, U)of 1-cohomologies. …”
Get full text

Systematic review and meta-analysis of randomized control trials addressing efficacy and safety of desmopressin for females with nocturia by Jawaher A. Alsahabi, George Boukheir, Elham Bamaie, Sameerah AlMowallad, Yahya Ghazwani, Everaert Karel

“…Subgroup analyses according to desmopressin dose ( ≤50μgand >50μg) showed similar significant differences compared with placebo. …”
Get full text

State Complexity of the Multiples of the Thue-Morse Set by Émilie Charlier, Célia Cisternino, Adeline Massuir

Get full text

LTL to Deterministic Emerson-Lei Automata by David Müller, Salomon Sickert

Get full text

On Quantified Propositional Logics and the Exponential Time Hierarchy by Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema

Get full text