Browse wiki
From International Center for Computational Logic
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures/en/en
Information is currently being retrieved from the backend.
