Confluence

Results: 492



#Item
11

IWC 2017 6th International Workshop on Confluence Proceedings Editors: Beniamino Accattoli & Bertram Felgenhauer

Add to Reading List

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

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

    Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

    Add to Reading List

    Source URL: www.home.hs-karlsruhe.de

    - Date: 2014-02-23 03:34:16
      13

      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
        14

        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
          15

          Confluence by Strong Commutation with Disjoint Parallel Reduction Kentaro Kikuchi RIEC, Tohoku University, Sendai, Japan

          Add to Reading List

          Source URL: www.cs.ox.ac.uk

          - Date: 2017-09-09 06:01:35
            16

            Confluence by Decreasing Diagrams, Converted Vincent van Oostrom Theoretische Filosofie Universiteit Utrecht Koninkrijk der Nederlanden

            Add to Reading List

            Source URL: www.phil.uu.nl

            - Date: 2008-07-14 02:10:10
              17

              BALSAMIQ END USER LICENSE AGREEMENT Balsamiq End User License Agreement Version 2.8, March 2015 This Agreement applies to Balsamiq Mockups 3 for Desktop, Mockups for Confluence and for JIRA (when used with Confluence an

              Add to Reading List

              Source URL: media.balsamiq.com

              - Date: 2016-12-15 17:42:33
                18

                NLCTA Operations 2015 May Fri Sat Sun

                Add to Reading List

                Source URL: confluence.slac.stanford.edu

                - Date: 2015-06-10 17:20:02
                  19

                  BALSAMIQ END USER LICENSE AGREEMENT Balsamiq End User License Agreement Version 3.3, Oct 2015 This Agreement applies to Balsamiq Mockups 3 for Desktop, Mockups for Confluence and for JIRA (when used with Confluence and

                  Add to Reading List

                  Source URL: media.balsamiq.com

                  - Date: 2016-12-15 17:42:33
                    20

                    BALSAMIQ END USER LICENSE AGREEMENT Balsamiq End User License Agreement Version 3.2, Oct 2015 This Agreement applies to Balsamiq Mockups 3 for Desktop, Mockups for Confluence and for JIRA (when used with Confluence and

                    Add to Reading List

                    Source URL: media.balsamiq.com

                    - Date: 2016-12-15 17:42:33
                      UPDATE