On context-free trees

DOI10.1016/0304-3975(85)90058-1zbMath0603.68084OpenAlexW2222236143MaRDI QIDQ1082826

Virgil Emil Căzănescu

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90058-1

zbMATH Keywords

algebraic semanticsalgebraic theory with iteratesubtheories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On flowchart theories. I. The deterministic case

Cites Work

• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On context-free trees