×

zbMATH — the first resource for mathematics

Vector iteration in pointed iterative theories. (English) Zbl 0461.68047

MSC:
68Q99 Theory of computing
18C10 Theories (e.g., algebraic theories), structure, and semantics
68Q60 Specification and verification (program logics, model checking, etc.)
05C05 Trees
PDF BibTeX XML Cite
Full Text: DOI