Computable execution traces (Q2148796)

From MaRDI portal





scientific article; zbMATH DE number 7547744
Language Label Description Also known as
default for all languages
No label defined
    English
    Computable execution traces
    scientific article; zbMATH DE number 7547744

      Statements

      Identifiers