Otten

Results: 206



#Item
31

Implementing Connection Calculi for First-order Modal Logics Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

Add to Reading List

Source URL: www.jens-otten.de

Language: English - Date: 2012-10-16 12:33:00
    32

    leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨

    Add to Reading List

    Source URL: www.jens-otten.de

    Language: English - Date: 2012-03-30 11:05:48
      33

      A Uniform Proof Procedure for Classical and Non-Classical Logics Jens Otten? Christoph Kreitz

      Add to Reading List

      Source URL: www.cs.uni-potsdam.de

      Language: English - Date: 2008-03-22 22:52:44
        34

        Evaluating Automated Theorem Provers for First-Order Modal Logics Thomas Raths∗ Jens Otten

        Add to Reading List

        Source URL: www.jens-otten.de

        Language: English - Date: 2013-08-02 11:19:33
          35

          Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of

          Add to Reading List

          Source URL: www.jens-otten.de

          Language: English - Date: 2012-03-30 11:05:56
            36

            Problem Libraries for Non-Classical Logics – Extended Abstract – Jens Otten and Thomas Raths Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany {jeotten|traths}@c

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            Language: English - Date: 2015-01-19 21:15:50
              37

              The ILTP Problem Library for Intuitionistic Logic Release v1.1 Thomas Raths∗ , Jens Otten and Christoph Kreitz Institut f¨ ur Informatik, University of Potsdam, Germany. e-mail: {traths,jeotten,kreitz}@cs.uni-potsdam.

              Add to Reading List

              Source URL: www.iltp.de

              Language: English - Date: 2013-01-21 15:04:11
                38

                Connection-Based Proof Construction in Linear Logic C. Kreitz1 1 2

                Add to Reading List

                Source URL: www.jens-otten.de

                Language: English - Date: 2012-03-30 11:05:49
                  39

                  The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten

                  Add to Reading List

                  Source URL: www.jens-otten.de

                  Language: English - Date: 2012-03-30 11:05:42
                    40

                    Implementing Connection Calculi for First-order Modal Logics Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

                    Add to Reading List

                    Source URL: www.cs.uni-potsdam.de

                    Language: English - Date: 2012-09-30 13:57:39
                      UPDATE