Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
Some Applications of the Decidability of DPDA's Equivalence
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Hi-index | 5.23 |