Rewriting

Results: 653



#Item
41

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-28 04:13:20
    42

    Weighted Automata and Rewriting Proposal for Course in Advanced Track of ISR Johannes Waldmann, HTWK Leipzig 30. November 2016

    Add to Reading List

    Source URL: www.win.tue.nl

    - Date: 2017-02-01 05:01:12
      43

      Formalizing Rewriting in Isabelle A Course in the Advanced Track of ISR 2017, Eindhoven, The Netherlands Christian Sternagel and Ren´e Thiemann February 1, 2017

      Add to Reading List

      Source URL: www.win.tue.nl

      - Date: 2017-02-01 10:34:25
        44

        Efficient implementation of evaluation strategies via token-guided graph rewriting Koko Muroya Dan R. Ghica

        Add to Reading List

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

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

          THE UNIVERSITY OF CHICAGO OPERATIONAL SEMANTICS FOR SCHEME VIA TERM REWRITING A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES

          Add to Reading List

          Source URL: plt.eecs.northwestern.edu

          - Date: 2010-03-12 16:21:49
            46

            Two-dimensional Rewriting Techniques and Applications Part II. Coherence and Rewriting Philippe Malbos Institut Camille Jordan Université Claude Bernard Lyon 1

            Add to Reading List

            Source URL: math.univ-lyon1.fr

            - Date: 2017-07-07 07:43:28
              47

              A Semantic Criterion for Proving Infeasibility in Conditional Rewriting Salvador Lucas Ra´ ul Guti´errez

              Add to Reading List

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

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

                Higher dimensional modelling and rewriting in algebraic topology ∗ Ronald Brown 1

                Add to Reading List

                Source URL: www.groupoids.org.uk

                - Date: 2017-07-13 06:11:18
                  49

                  Aachen Department of Computer Science Technical Report Complexity Analysis for Term Rewriting by Integer Transition

                  Add to Reading List

                  Source URL: sunsite.informatik.rwth-aachen.de

                  - Date: 2017-07-03 06:21:13
                    50

                    A Comparison of Query Rewriting Techniques for DL-Lite H´ector P´erez-Urbina, Boris Motik, and Ian Horrocks Oxford University Computing Laboratory Oxford, England {hector.perez-urbina,boris.motik,ian.horrocks}@comlab.o

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2009-07-07 04:46:34
                      UPDATE