Merz

Results: 357



#Item
41Logo EDEKA Merz Auerbach und Heppenheim 50x50

Logo EDEKA Merz Auerbach und Heppenheim 50x50

Add to Reading List

Source URL: www.hessischer-demokratietag.de

Language: German - Date: 2015-10-07 08:38:21
    42Challenges in Comparing Software Analysis Tools for C? Florian Merz, Carsten Sinz, and Stephan Falke Institute for Theoretical Computer Science Karlsruhe Institute of Technology (KIT), Germany {florian.merz, carsten.sinz

    Challenges in Comparing Software Analysis Tools for C? Florian Merz, Carsten Sinz, and Stephan Falke Institute for Theoretical Computer Science Karlsruhe Institute of Technology (KIT), Germany {florian.merz, carsten.sinz

    Add to Reading List

    Source URL: ceur-ws.org

    Language: English - Date: 2012-07-04 10:49:53
      43Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

      Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

      Add to Reading List

      Source URL: www.montefiore.ulg.ac.be

      Language: English - Date: 2006-01-07 06:25:43
        44Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

        Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

        Add to Reading List

        Source URL: www.montefiore.ulg.ac.be

        Language: English - Date: 2011-07-11 06:39:50
          45Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

          Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

          Add to Reading List

          Source URL: www.montefiore.ulg.ac.be

          Language: English - Date: 2006-01-07 06:25:43
            46Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

            Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

            Add to Reading List

            Source URL: www.montefiore.ulg.ac.be

            Language: English - Date: 2010-07-30 09:23:43
              47Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

              Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

              Add to Reading List

              Source URL: www.montefiore.ulg.ac.be

              Language: English - Date: 2010-07-30 09:23:43
                48Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

                Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

                Add to Reading List

                Source URL: www.montefiore.ulg.ac.be

                Language: English - Date: 2011-07-11 06:39:50
                  49Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

                  Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

                  Add to Reading List

                  Source URL: www.verit-solver.org

                  Language: English - Date: 2015-06-10 09:33:21
                    50Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract

                    Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract

                    Add to Reading List

                    Source URL: pxtp2011.loria.fr

                    Language: English - Date: 2011-08-12 05:51:25