Äquivalente Transformationen für Flußdiagramme

DOI10.1007/BF00289152zbMath0385.68014MaRDI QIDQ1249431

Viktor K. Sabelfeld

Publication date: 1978

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (3)

The logic-termal equivalence is polynomial-time decidable ⋮ An algorithm deciding functional equivalence in a new class of program schemes ⋮ Mixed computation: potential applications and problems for study

Cites Work

• The equivalence problem for deterministic two-tape automata
• On formalised computer programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Äquivalente Transformationen für Flußdiagramme