Login / Signup

A Note on the Logical Definability of Rational Trace Languages.

Christian Choffrut
Published in: Fundam. Informaticae (2012)
Keyphrases