Algebraic interpretation of R-graphs

DOI10.1007/BF01068350zbMATH Open0637.68021OpenAlexW2075746822MaRDI QIDQ3777434

V. Yu. Kayurov

Publication date: 1986

Published in: Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

universal algebrasystem of equationsprogram schemataR-technologybasic solutionformal interpretationpseudoprogramsR- graphs

Mathematics Subject Classification ID

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

This page was built for publication: Algebraic interpretation of R-graphs

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