Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Q5747646)

From MaRDI portal
scientific article; zbMATH DE number 5785339
Language Label Description Also known as
English
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
scientific article; zbMATH DE number 5785339

    Statements

    Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (English)
    0 references
    14 September 2010
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references