L Thnh Dung Nguyn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | STACS | Slightly Non-Linear Higher-Order Tree Transducers. | L Thnh Dung Nguyn, Gabriele Vanoni |
| 2024 | CSL | Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. | Vincent Moreau, L Thnh Dung Nguyn |
| 2024 | ICALP | Function Spaces for Orbit-Finite Sets. | Mikolaj Bojanczyk, L Thnh Dung Nguyn, Rafal Stefanski |
| 2023 | ICALP | Algebraic Recognition of Regular Functions. | Mikolaj Bojanczyk, L Thnh Dung Nguyn |
| 2022 | CSL | BV and Pomset Logic Are Not the Same. | L Thnh Dung Nguyn, Lutz Straburger |
| 2021 | ICALP | Comparison-Free Polyregular Functions. | L Thnh Dung Nguyn, Camille Nos, Ccilia Pradic |
| 2020 | ICALP | Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic. | L Thnh Dung Nguyn, Ccilia Pradic |
| 2019 | ICALP | From Normal Functors to Logarithmic Space Queries. | L Thnh Dung Nguyn, Ccilia Pradic |