Guiding Craig interpolation with domain-specific abstractions (Q300418)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Guiding Craig interpolation with domain-specific abstractions
scientific article

    Statements

    Guiding Craig interpolation with domain-specific abstractions (English)

    Identifiers