A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata.

Published in: Int. J. Found. Comput. Sci. (2017)

Keyphrases