Completeness Results for the Equivalence of Recursive Schemas

Cite this paper

@article{Courcelle1976CompletenessRF, title={Completeness Results for the Equivalence of Recursive Schemas}, author={Bruno Courcelle and Jean Vuillemin}, journal={J. Comput. Syst. Sci.}, year={1976}, volume={12}, pages={179-197} }