Skip to content

Deciding Equivalence of Finite Tree Automata.

Helmut Seidl

VenueASTACS
Year1989
ProceedingsSTACS

Browse the full STACS paper archive.