A Generalised Twinning Property for Minimisation of Cost Register Automata.

Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot

Browse the full LICS paper archive.