Metalinear recursive schemas on marked trees

zbMath0545.68022MaRDI QIDQ797277

L. P. Lisovik

Publication date: 1983

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

equivalence; decidability; inclusion; finite-turning counters; metalinear unary recursive schemas

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q65: Abstract data types; algebraic specification

03B25: Decidability of theories and sets of sentences