×

zbMATH — the first resource for mathematics

Nonlinear pattern matching in trees. (English) Zbl 0799.68103

MSC:
68W10 Parallel algorithms in computer science
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI