Confluence

Results: 492



#Item
1

Confluence Reduction for Markov Automata∗ Mark Timmer Jaco van de Pol Mari¨elle Stoelinga

Add to Reading List

Source URL: qapl2013.units.it

Language: English - Date: 2013-03-26 07:49:25
    2

    Confluence: Online Journal of World Philosophies (http://www.verlag-alber.de/e-journals/confluence/) Confluence documents initiatives in institutions of higher education aimed at facilitating teaching and/or research in

    Add to Reading List

    Source URL: sacpweb.org

    - Date: 2015-05-19 17:31:41
      3

      Certified Non-Confluence with ConCon 1.5? Thomas Sternagel Christian Sternagel University of Innsbruck, Austria

      Add to Reading List

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

      - Date: 2017-09-12 04:41:19
        4

        B¨ohm Reduction for Terms and Term Graphs Confluence in Infinitary Rewriting Patrick Bahr IT University of Copenhagen

        Add to Reading List

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

        - Date: 2017-09-12 04:41:19
          5

          CoCoWeb A Convenient Web Interface for Confluence Tools∗ Julian Nagele and Aart Middeldorp Department of Computer Science, University of Innsbruck, Austria {julian.nagele,aart.middeldorp}@uibk.ac.at

          Add to Reading List

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

          - Date: 2017-09-12 04:41:19
            6

            CoCoWeb A Convenient Web Interface for Confluence Tools Julian Nagele Aart Middeldorp

            Add to Reading List

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

            - Date: 2017-09-12 04:41:19
              7

              IWC 2016 5th International Workshop on Confluence Proceedings Editors: Beniamino Accattoli & Ashish Tiwari

              Add to Reading List

              Source URL: www.csl.sri.com

              - Date: 2016-08-29 19:07:14
                8

                Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby Henning Christiansen

                Add to Reading List

                Source URL: www.sci.unich.it

                - Date: 2017-10-23 05:15:19
                  9

                  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
                    10

                    6th International Confluence Competition Takahito Aoto Nao Hirokawa Julian Nagele

                    Add to Reading List

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

                    - Date: 2017-09-12 04:41:19
                      UPDATE