Confluence

Results: 492



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

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
    12Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

    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
      13Aspects 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
        14Certified 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
          15Confluence by Strong Commutation with Disjoint Parallel Reduction Kentaro Kikuchi RIEC, Tohoku University, Sendai, Japan

          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
            16Confluence by Decreasing Diagrams, Converted Vincent van Oostrom Theoretische Filosofie Universiteit Utrecht Koninkrijk der Nederlanden

            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
              17BALSAMIQ 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

              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
                18NLCTA Operations 2015 May Fri Sat Sun

                NLCTA Operations 2015 May Fri Sat Sun

                Add to Reading List

                Source URL: confluence.slac.stanford.edu

                - Date: 2015-06-10 17:20:02
                  19BALSAMIQ 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

                  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
                    20BALSAMIQ 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

                    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