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

Doumane, Amina

  1. Tree algebras and bisimulation-invariant MSO on finite graphs
    2024/07/17 by Colcombet, Thomas, Doumane, Amina, Kuperberg, Denis · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)