CORE

🇺🇦   make metadata, not war

    2 research outputs found

    An efficient decision procedure for functional decomposable theories based on dual constraints

    Author
    Publication venue
    'Springer Fachmedien Wiesbaden GmbH'
    Publication date
    Field of study
    No full text
    International audienc
    Hal-Diderot

    An efficient decision procedure for functional decomposable theories based on dual constraints

    Author
    Publication venue
    'Springer Fachmedien Wiesbaden GmbH'
    Publication date
    Field of study
    No full text
    International audienc
    HAL Descartes
    corecore