Rewriting

Results: 653



#Item
31

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
    32

    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
      33

      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
        34

        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
          35

          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
            36

            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
              37

              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
                38

                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
                  39

                  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
                    40

                    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
                      UPDATE