vix.ing · top · new · best · stats · spec

Daviaud, Laure

  1. Regular and First Order List Functions
    2018/03/16 by Bojanczyk, Mikolaj, Daviaud, Laure, Narayanan, Krishna Shankara · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)