Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation (Q5049007)

From MaRDI portal





scientific article; zbMATH DE number 7614675
Language Label Description Also known as
default for all languages
No label defined
    English
    Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation
    scientific article; zbMATH DE number 7614675

      Statements

      Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation (English)
      0 references
      0 references
      9 November 2022
      0 references
      isomorph-free exhaustive generation
      0 references
      orderly
      0 references
      software verification
      0 references
      Isabelle/HOL
      0 references

      Identifiers