Metalinear schemes with transfer of constants

MaRDI QIDQ1065538zbMATH OpenFDO

Authors L. P. Lisovik

Publication date 1985

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

zbMATH Keywords

metalinear unary recursive schemesweak equivalence

Mathematics Subject Classification ID

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

Cited in

(3)

• Problems of inclusion and equivalence for program schemata and formal languages
• Program schemes with constants
• Program equivalence checking by two-tape automata

This page was built for publication: Metalinear schemes with transfer of constants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1065538)