Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439)

From MaRDI portal
Revision as of 18:32, 30 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Removing algebraic data types from constrained Horn clauses using difference predicates
scientific article

    Statements

    Removing algebraic data types from constrained Horn clauses using difference predicates (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    9 November 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers