Metalinear schemes with transfer of constants

zbMath0577.68031MaRDI QIDQ1065538

L. P. Lisovik

Publication date: 1985

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

zbMATH Keywords

weak equivalencemetalinear unary recursive schemes

Mathematics Subject Classification ID

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

Related Items (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