Formal models and free program schemata (Q1817131)

From MaRDI portal





scientific article; zbMATH DE number 952260
Language Label Description Also known as
default for all languages
No label defined
    English
    Formal models and free program schemata
    scientific article; zbMATH DE number 952260

      Statements

      Formal models and free program schemata (English)
      0 references
      13 May 1997
      0 references
      functional equivalence of programs
      0 references
      program schemata
      0 references
      formal models of programs
      0 references

      Identifiers