Report - Symbolic Automata with Memory: a Computational Model for ...Register Match Automata (RMA), whose transitions can apply n-ary formulas (with n>1) on multiple elements. RMA are thus

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form