Otten

Results: 206



#Item
41

A Connection Based Proof Method for Intuitionistic Logic Jens Otten Christoph Kreitz

Add to Reading List

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

Language: English - Date: 2008-03-22 22:56:48
    42

    Building a Problem Library for First-Order Modal Logics Thomas Raths Jens Otten

    Add to Reading List

    Source URL: www.jens-otten.de

    Language: English - Date: 2012-03-30 11:05:52
      43

      T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods Jens Otten? Christoph Kreitz

      Add to Reading List

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

      Language: English - Date: 2008-03-22 23:16:53
        44

        leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel

        Add to Reading List

        Source URL: www.jens-otten.de

        Language: English - Date: 2012-03-30 11:05:54
          45

          Matrix-based Constructive Theorem Proving Christoph Kreitz Jens Otten Stephan Schmitt Brigitte Pientka Department of Computer Science, Cornell-University Ithaca, NY, U.S.A. {kreitz,jeotten,steph,pientka}@cs.co

          Add to Reading List

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

          Language: English - Date: 2008-03-22 23:26:39
            46

            Matrix-based Constructive Theorem Proving Christoph Kreitz Jens Otten Stephan Schmitt Brigitte Pientka Department of Computer Science, Cornell-University Ithaca, NY, U.S.A. {kreitz,jeotten,steph,pientka}@cs.co

            Add to Reading List

            Source URL: www.jens-otten.de

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

              LNAIThe QMLTP Problem Library for First-Order Modal Logics

              Add to Reading List

              Source URL: www.jens-otten.de

              Language: English - Date: 2015-01-19 21:22:16
                48

                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.cs.uni-potsdam.de

                Language: English - Date: 2009-07-21 13:21:10
                  49

                  Connection-based Theorem Proving in Classical and Non-classical Logics Christoph Kreitz Department of Computer Science, Cornell-University Ithaca, NY, U.S.A.

                  Add to Reading List

                  Source URL: www.jens-otten.de

                  Language: English - Date: 2012-03-30 11:05:43
                    50

                    leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel

                    Add to Reading List

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

                    Language: English - Date: 2008-03-22 23:06:13
                      UPDATE