Showing 1 - 2 results of 2 for search 'Nguyễn, LTD', query time: 0.02s Refine Results
  1. 1
    Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic

    Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic by Nguyễn, LTD, Pradic, P

    Published 2020
    Conference item
  2. 2
    Comparison-free polyregular functions

    Comparison-free polyregular functions by Nguyễn, LTD, Noûs, C, Pradic, P

    Published 2021
    Conference item

Search Tools: