Rewriting

Results: 653



#Item
41RTA 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-28 04:13:20
    42Weighted Automata and Rewriting Proposal for Course in Advanced Track of ISR Johannes Waldmann, HTWK Leipzig 30. November 2016

    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
      43Formalizing Rewriting in Isabelle A Course in the Advanced Track of ISR 2017, Eindhoven, The Netherlands Christian Sternagel and Ren´e Thiemann February 1, 2017

      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
        44Efficient implementation of evaluation strategies via token-guided graph rewriting Koko Muroya Dan R. Ghica

        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
          45THE UNIVERSITY OF CHICAGO OPERATIONAL SEMANTICS FOR SCHEME VIA TERM REWRITING A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES

          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
            46Two-dimensional Rewriting Techniques and Applications Part II. Coherence and Rewriting Philippe Malbos Institut Camille Jordan Université Claude Bernard Lyon 1

            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
              47A Semantic Criterion for Proving Infeasibility in Conditional Rewriting Salvador Lucas Ra´ ul Guti´errez

              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
                48Higher dimensional modelling and rewriting in algebraic topology ∗ Ronald Brown 1

                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
                  49Aachen Department of Computer Science Technical Report Complexity Analysis for Term Rewriting by Integer Transition

                  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
                    50A 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

                    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