Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations

Authors
    Publication date
    Publisher
    'Defense Technical Information Center (DTIC)'
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Crossref

        redirect
        oaiinfo:doi/10.21236%2Fada476801
        Last time updated on 01/04/2019