Skip to content

The Containment Problem for Unambiguous Register Automata.

Antoine Mottet, Karin Quaas

VenueASTACS
Year2019
ProceedingsSTACS

Browse the full STACS paper archive.