Login / Signup

A (co)algebraic theory of succinct automata.

Gerco van HeerdtJoshua MoermanMatteo SammartinoAlexandra Silva
Published in: J. Log. Algebraic Methods Program. (2019)
Keyphrases