Rewriting

Results: 653



#Item
61

Aachen Department of Computer Science Technical Report Automated Complexity Analysis for Prolog by Term Rewriting

Add to Reading List

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

- Date: 2012-04-04 08:10:13
    62

    Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

    Add to Reading List

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

    - Date: 2016-08-30 09:47:27
      63

      Rewriting SELECT SPARQL queries from 1:n complex correspondences Élodie Thiéblin, Fabien Amarger, Ollivier Haemmerlé, Nathalie Hernandez, Cassia Trojahn IRIT & Université de Toulouse 2 Jean Jaurès, Toulouse, France

      Add to Reading List

      Source URL: disi.unitn.it

      - Date: 2016-09-05 09:55:07
        64

        Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1

        Add to Reading List

        Source URL: drops.dagstuhl.de

        - Date: 2011-04-26 05:41:56
          65

          Z Draft: For Your Mind Only September 27, 2007 Abstract We present the Z-property for rewriting, relate it to the triangle property, show it induces a hyper-cofinal strategy, and present (non-)examples.

          Add to Reading List

          Source URL: www.phil.uu.nl

          - Date: 2007-09-27 05:34:26
            66

            Polynomial Interpretations for Higher-Order Rewriting ∗ Carsten Fuhs1 and Cynthia Kop2 1 2

            Add to Reading List

            Source URL: www.dcs.bbk.ac.uk

            - Date: 2012-04-12 18:53:41
              67

              Expression Rewriting for Optimizing Secure Computation Florian Kerschbaum SAP Research Karlsruhe, Germany

              Add to Reading List

              Source URL: www.fkerschbaum.org

              - Date: 2013-02-09 10:26:06
                68

                The Roanoke Ventures and The Raleigh Conspiracy The Lost Colony Center for science and Research is happy to announce that a new and exciting project is underway. New research is rewriting the known sixteenth-century his

                Add to Reading List

                Source URL: lost-colony.com

                - Date: 2011-03-30 16:56:42
                  69

                  DIGITAL DOWNLOAD ALBUM REVIEW ARTIST: Dario Chiazzolino and Nico Di Battista TITLE: Rewriting Songs LABEL: Gruppo

                  Add to Reading List

                  Source URL: www.cadencejazzmagazine.com

                  - Date: 2015-01-29 16:05:21
                    70

                    Church-Rosser Properties of Normal Rewriting Jean-Pierre Jouannaud ´ Ecole Polytechnique and Tsinghua University

                    Add to Reading List

                    Source URL: www.cri.ensmp.fr

                    - Date: 2014-05-21 11:12:16
                      UPDATE