Rewriting

Results: 653



#Item
31RTA 2012: Call For Papers 23rd International Conference on Rewriting Techniques and Applications May 28–June 2, 2012, Nagoya, Japan http://rta2012.trs.cm.is.nagoya-u.ac.jp/ Invited Speakers Hirokazu Anai

RTA 2012: Call For Papers 23rd International Conference on Rewriting Techniques and Applications May 28–June 2, 2012, Nagoya, Japan http://rta2012.trs.cm.is.nagoya-u.ac.jp/ Invited Speakers Hirokazu Anai

Add to Reading List

Source URL: rta2012.trs.cm.is.nagoya-u.ac.jp

- Date: 2011-12-19 19:43:34
    32A Cost-efficient Rewriting Scheme to Improve Restore Performance in Deduplication Systems Jie Wu Yu Hua Pengfei Zuo Yuanyuan Sun

    A Cost-efficient Rewriting Scheme to Improve Restore Performance in Deduplication Systems Jie Wu Yu Hua Pengfei Zuo Yuanyuan Sun

    Add to Reading List

    Source URL: csyhua.github.io

    - Date: 2018-03-29 07:20:56
      33B¨ohm Reduction for Terms and Term Graphs Confluence in Infinitary Rewriting Patrick Bahr IT University of Copenhagen

      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
        34A Semantic Approach to the Analysis of Rewriting-Based Systems Salvador Lucas DSIC, Universitat Polit` ecnica de Val` encia, Spain

        A Semantic Approach to the Analysis of Rewriting-Based Systems Salvador Lucas DSIC, Universitat Polit` ecnica de Val` encia, Spain

        Add to Reading List

        Source URL: www.sci.unich.it

        - Date: 2017-10-23 05:15:07
          35A Semantic Criterion for Proving Infeasibility in Conditional Rewriting ∗ Salvador Lucas and Ra´ ul Guti´errez DSIC, Universitat Polit`ecnica de Val`encia, Spain

          A Semantic Criterion for Proving Infeasibility in Conditional Rewriting ∗ Salvador Lucas and Ra´ ul Guti´errez DSIC, Universitat Polit`ecnica de Val`encia, Spain

          Add to Reading List

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

          - Date: 2017-09-12 04:41:19
            36ISR 2017 Advanced Course Proving Program Termination via Term Rewriting Carsten Fuhs http://www.dcs.bbk.ac.uk/~carsten/ —Abstract—

            ISR 2017 Advanced Course Proving Program Termination via Term Rewriting Carsten Fuhs http://www.dcs.bbk.ac.uk/~carsten/ —Abstract—

            Add to Reading List

            Source URL: www.win.tue.nl

            - Date: 2017-03-01 07:20:23
              37Rewriting on string diagrams and categorification Benjamin DUPONT Master Student, Institut Camille Jordan, UMR 5208 Université Claude Bernard. Lyon, France Objective

              Rewriting on string diagrams and categorification Benjamin DUPONT Master Student, Institut Camille Jordan, UMR 5208 Université Claude Bernard. Lyon, France Objective

              Add to Reading List

              Source URL: www.win.tue.nl

              - Date: 2017-06-27 10:58:54
                38B¨ohm Reduction for Terms and Term Graphs Patrick Bahr IT University of Copenhagen, Denmark Abstract Infinitary rewriting endows a rewriting system with a mode of convergence that assigns

                B¨ohm Reduction for Terms and Term Graphs Patrick Bahr IT University of Copenhagen, Denmark Abstract Infinitary rewriting endows a rewriting system with a mode of convergence that assigns

                Add to Reading List

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

                - Date: 2017-09-12 04:41:19
                  39TWO-DIMENSIONAL REWRITING TECHNIQUES AND APPLICATIONS Advanced Track of ISRCourse Proposal Philippe Malbos1 and Samuel Mimram2 String rewriting systems have originally been introduced in order to provide presenta

                  TWO-DIMENSIONAL REWRITING TECHNIQUES AND APPLICATIONS Advanced Track of ISRCourse Proposal Philippe Malbos1 and Samuel Mimram2 String rewriting systems have originally been introduced in order to provide presenta

                  Add to Reading List

                  Source URL: www.win.tue.nl

                  - Date: 2017-02-01 16:47:05
                    40Solutions and query rewriting in data exchange

                    Solutions and query rewriting in data exchange

                    Add to Reading List

                    Source URL: marenas.sitios.ing.uc.cl

                    - Date: 2013-07-27 09:39:40