Innsbruck

Results: 1760



#Item
51Formalized Ground Completion∗ Aart Middeldorp and Christian Sternagel Department of Computer Science, University of Innsbruck, Austria {aart.middeldorp,christian.sternagel}@uibk.ac.at Abstract Completion is the process

Formalized Ground Completion∗ Aart Middeldorp and Christian Sternagel Department of Computer Science, University of Innsbruck, Austria {aart.middeldorp,christian.sternagel}@uibk.ac.at Abstract Completion is the process

Add to Reading List

Source URL: cl-informatik.uibk.ac.at

- Date: 2017-09-12 04:41:19
    52A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017

    A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017

    Add to Reading List

    Source URL: cl-informatik.uibk.ac.at

    - Date: 2017-09-12 04:41:19
      53A Ground Joinability Criterion for Ordered Completion∗ Sarah Winkler University of Innsbruck, Austria Abstract By Newman’s Lemma and the Extended Critical Pair Lemma, ordered completion tools

      A Ground Joinability Criterion for Ordered Completion∗ Sarah Winkler University of Innsbruck, Austria Abstract By Newman’s Lemma and the Extended Critical Pair Lemma, ordered completion tools

      Add to Reading List

      Source URL: cl-informatik.uibk.ac.at

      - Date: 2017-09-12 04:41:19
        54Aspects of Layer Systems in IsaFoR* Bertram Felgenhauer and Franziska Rapp University of Innsbruck 6th International Workshop on Confluence Oxford,

        Aspects of Layer Systems in IsaFoR* Bertram Felgenhauer and Franziska Rapp University of Innsbruck 6th International Workshop on Confluence Oxford,

        Add to Reading List

        Source URL: cl-informatik.uibk.ac.at

        - Date: 2017-09-12 04:41:19
          55Certified Non-Confluence with ConCon 1.5∗ Thomas Sternagel and Christian Sternagel University of Innsbruck, Austria {thomas,christian} We present three methods to check CTRSs for non-confluence: (

          Certified Non-Confluence with ConCon 1.5∗ Thomas Sternagel and Christian Sternagel University of Innsbruck, Austria {thomas,christian} We present three methods to check CTRSs for non-confluence: (

          Add to Reading List

          Source URL: cl-informatik.uibk.ac.at

          - Date: 2017-09-12 04:41:19
            56Aspects of Layer Systems in IsaFoR∗ Bertram Felgenhauer and Franziska Rapp Department of Computer Science, University of Innsbruck, Austria {bertram.felgenhauer|franziska.rapp}@uibk.ac.at Abstract We report on an ongoi

            Aspects of Layer Systems in IsaFoR∗ Bertram Felgenhauer and Franziska Rapp Department of Computer Science, University of Innsbruck, Austria {bertram.felgenhauer|franziska.rapp}@uibk.ac.at Abstract We report on an ongoi

            Add to Reading List

            Source URL: cl-informatik.uibk.ac.at

            - Date: 2017-09-12 04:41:19
              57A TASTE OF TYROL – INNSBRUCK, AUSTRIA FEATURING OKTOBERFEST SEPTEMBER 15-23, 2017 FROM

              A TASTE OF TYROL – INNSBRUCK, AUSTRIA FEATURING OKTOBERFEST SEPTEMBER 15-23, 2017 FROM

              Add to Reading List

              Source URL: chambermaster.blob.core.windows.net

              - Date: 2017-01-18 18:58:17
                58Religionsunterricht in Österreich: Zwischen Konfessionalität und Pluralität Gastvorlesung an der Katholisch-Theologischen Fakultät der Universität Innsbruck –

                Religionsunterricht in Österreich: Zwischen Konfessionalität und Pluralität Gastvorlesung an der Katholisch-Theologischen Fakultät der Universität Innsbruck –

                Add to Reading List

                Source URL: static.uni-graz.at

                - Date: 2015-11-12 11:35:07
                  59MOLEKULARE GRUNDLAGEN UND DIAGNOSTIK DES INTERSEX Christian Radmayr Kinderurologie Univ. Klinik f. Urologie - Innsbruck

                  MOLEKULARE GRUNDLAGEN UND DIAGNOSTIK DES INTERSEX Christian Radmayr Kinderurologie Univ. Klinik f. Urologie - Innsbruck

                  Add to Reading List

                  Source URL: kastrationsspital.ch

                  - Date: 2008-12-28 23:26:27
                    60Fewest Common Hops (FCH): An Improved Peer Selection Approach for P2P Applications Humaira Ijaz University of Innsbruck, Austria University of Sargodha, Pakistan Innsbruck, Austria

                    Fewest Common Hops (FCH): An Improved Peer Selection Approach for P2P Applications Humaira Ijaz University of Innsbruck, Austria University of Sargodha, Pakistan Innsbruck, Austria

                    Add to Reading List

                    Source URL: heim.ifi.uio.no

                    - Date: 2013-06-03 03:22:30