Login / Signup

Fragments of Fixpoint Logic on Data Words.

Thomas ColcombetAmaldev Manuel
Published in: FSTTCS (2015)
Keyphrases