scientific article; zbMATH DE number 5827855

zbMATH Open1201.68053MaRDI QIDQ3063993FDOQ3063993

Authors: R. I. Podlovchenko 

Publication date: 18 December 2010

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• On a class of algebraic models of programs of practical interest
• Studies in the theory of algebraic models of programs with procedures
• scientific article; zbMATH DE number 1206050
• Formal models and free program schemata
• scientific article; zbMATH DE number 3985194
• Approximability of some program models by others
• Halting and equivalence of program schemes in models of arbitrary theories
• scientific article; zbMATH DE number 850400
• scientific article; zbMATH DE number 4052988

zbMATH Keywords

decidabilityequivalent transformations of the schemesprogram modelsYanov schemes

Mathematics Subject Classification ID

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

Cited In (3)

• Program schemata technique for propositional program logics: a 30-year history
• Technique of traces in solving the equivalence problem in algebraic program models
• Program schemes with constants

This page was built for publication:

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