A New Translation for Semi-classical Theories — Backtracking without CPS (Q5458438)

From MaRDI portal





scientific article; zbMATH DE number 5262490
Language Label Description Also known as
default for all languages
No label defined
    English
    A New Translation for Semi-classical Theories — Backtracking without CPS
    scientific article; zbMATH DE number 5262490

      Statements

      A New Translation for Semi-classical Theories — Backtracking without CPS (English)
      0 references
      11 April 2008
      0 references
      0 references

      Identifiers