Craig interpolation

Results: 35



#Item
1Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp Rummer

Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp Rummer

Add to Reading List

Source URL: www.philipp.ruemmer.org

Language: English - Date: 2015-10-30 08:06:31
    2Craig Interpolation in SAT and SMT Philipp Rümmer Uppsala University

    Craig Interpolation in SAT and SMT Philipp Rümmer Uppsala University

    Add to Reading List

    Source URL: satsmt2014.forsyte.at

    Language: English - Date: 2014-07-12 03:23:15
      3Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

      Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

      Add to Reading List

      Source URL: www.math.purdue.edu

      Language: English - Date: 2015-10-07 14:27:16
      4Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract

      Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract

      Add to Reading List

      Source URL: www.phil.uu.nl

      Language: English - Date: 2015-04-01 07:45:41
      5Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN

      Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN

      Add to Reading List

      Source URL: www.es.ele.tue.nl

      Language: English - Date: 2016-04-11 04:53:31
      6Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson

      Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2015-03-16 05:12:39
      7131 Documenta Math. On the Torsion of the Mordell-Weil Group of the Jacobian

      131 Documenta Math. On the Torsion of the Mordell-Weil Group of the Jacobian

      Add to Reading List

      Source URL: documenta.sagemath.org

      Language: English - Date: 2005-11-04 17:24:04
      8131 Documenta Math. On the Torsion of the Mordell-Weil Group of the Jacobian

      131 Documenta Math. On the Torsion of the Mordell-Weil Group of the Jacobian

      Add to Reading List

      Source URL: www.math.uiuc.edu

      Language: English - Date: 2005-11-04 17:24:04
      9JOURNAL OF LATEX CLASS FILES 1 Social Grouping for Multi-target Tracking and Head Pose Estimation in Video

      JOURNAL OF LATEX CLASS FILES 1 Social Grouping for Multi-target Tracking and Head Pose Estimation in Video

      Add to Reading List

      Source URL: rlair.cs.ucr.edu

      Language: English - Date: 2016-01-04 16:44:20
      10Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda

      Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda

      Add to Reading List

      Source URL: db.ucsd.edu

      Language: English - Date: 2008-12-16 18:44:40