Undecidability of a weak version of MSO+U von Penelle, Vincent, Bojanczyk, Mikolaj, Daviaud, Laure, Guillon, Bruno, Sreejith, A. V.

Volltext

Rewriting Higher-Order Stack Trees von Penelle, Vincent

Volltext

Rewriting Higher-Order Stack Trees von Penelle, Vincent

Volltext

Constrained Dynamic Tree Networks von Hague, Matthew, Penelle, Vincent

Volltext

Learning real-time one-counter automata using polynomially many queries von Mathew, Prince, Penelle, Vincent, Sreejith, A. V

Volltext bestellen

Equivalence of Deterministic Weighted Real-time One-Counter Automata von Mathew, Prince, Penelle, Vincent, Saivasan, Prakash, Sreejith, A. V

Volltext bestellen

Weighted One-Deterministic-Counter Automata von Mathew, Prince, Penelle, Vincent, Saivasan, Prakash, Sreejith, A. V

Volltext bestellen

Rewriting Higher-Order Stack Trees von Penelle, Vincent

Volltext bestellen

Réécriture d’arbres de piles et traces de systèmes à compteurs von Penelle, Vincent

Volltext bestellen

On the Context-Freeness Problem for Vector Addition Systems von Leroux, Jérôme, Vincent, Sutre, Grégoire

Volltext

Learning real-time one-counter automata using polynomially many queries von Prince, Mathew, Penelle, Vincent, Sreejith, A V

Volltext

The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems von Leroux, Jérôme, Penelle, Vincent, Sutre, Grégoire

Volltext

Equivalence of Deterministic Weighted Real-time One-Counter Automata von Prince, Mathew, Penelle, Vincent, Saivasan, Prakash, Sreejith, A V

Volltext

Annotated Stack Trees von Hague, Matthew, Penelle, Vincent

Volltext bestellen

Rewriting Higher-Order Stack Trees von Penelle, Vincent

Volltext

Weighted One-Deterministic-Counter Automata von Prince, Mathew, Penelle, Vincent, Saivasan, Prakash, Sreejith, A V

Volltext

Origin-equivalence of two-way word transducers is in PSPACE von Bose, Sougata, Muscholl, Anca, Penelle, Vincent, Puppis, Gabriele

Volltext bestellen

Undecidability of a weak version of MSO+U von Bojańczyk, Mikołaj, Daviaud, Laure, Guillon, Bruno, Penelle, Vincent, Sreejith, A V

Volltext

On Synthesis of Resynchronizers for Transducers von Bose, Sougata, Krishna, Shankara Narayanan, Muscholl, Anca, Penelle, Vincent, Puppis, Gabriele

Volltext bestellen

Annotated Stack Trees von Hague, Matthew, Penelle, Vincent

Volltext