Regular algebra of functionals of labeled trees
From MaRDI portal
Publication:3742755
DOI10.1007/BF01074712zbMath0605.68081MaRDI QIDQ3742755
Publication date: 1985
Published in: Cybernetics (Search for Journal in Brave)
weak equivalence; inclusion; program schemes; RL-schemas on free interpretations; transformers on labeled trees
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work