Login / Signup

First order synthesis for data words revisited.

Julien GrangeMathieu Lehaut
Published in: CoRR (2023)
Keyphrases