Functionality problem in a class of relation schemas

DOI10.1007/BF01068971zbMath0489.68010OpenAlexW2004514026MaRDI QIDQ3951519

V. P. Kutepov

Publication date: 1981

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01068971

zbMATH Keywords

correctness proofflowcharts of parallel algorithmsstandard programs schemasvarious recursive schemas

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A language of graph schemes of parallel algorithms
• The calculus of functional systems and parallel algorithms
• Functional systems: Theoretical and practical aspects
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: Functionality problem in a class of relation schemas