ultimate icon indicating copy to clipboard operation
ultimate copied to clipboard

Published 20 hours ago • verified publisher icon ultimate-pa

Tree automata

Open umangm opened this issue 4 years ago • 0 comments

I gather that there is support for bottom up tree automata in Ultimate. Is there support for top down and alternating tree automata too?

umangm avatar Apr 06 '20 05:04 umangm