Rewriting

Results: 653



#Item
231

Term Rewriting Systems SS 11 Exercise Sheet 8 (due June 29th, 2011) Marc Brockschmidt, Carsten Fuhs, Thomas Ströder Prof.aa Dr. Jürgen Giesl

Add to Reading List

Source URL: verify.rwth-aachen.de

- Date: 2011-06-20 17:02:10
    232

    Conservativity of embeddings in the lambda-Pi calculus modulo rewriting Ali Assaf February 12, 2015 Abstract The lambda-Pi calculus can be extended with rewrite rules to embed

    Add to Reading List

    Source URL: who.rocq.inria.fr

    - Date: 2015-02-12 07:53:44
      233

      An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

      Add to Reading List

      Source URL: www.schemeworkshop.org

      Language: English - Date: 2011-08-12 16:48:09
        234

        ´ BRICS RSSassone & Sobocinski: Congruences for Contextual Graph-Rewriting BRICS

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2004-07-01 05:42:29
          235

          Term Rewriting Systems SS 11 Exercise Sheet 3 (due May 11th, 2011) Marc Brockschmidt, Carsten Fuhs, Thomas Ströder Prof.aa Dr. Jürgen Giesl

          Add to Reading List

          Source URL: verify.rwth-aachen.de

          Language: German - Date: 2011-05-03 18:09:50
            236

            Math. Appl), 1–16 DOI: maISO-ARRAY REWRITING P SYSTEMS WITH CONTEXT-FREE ISO-ARRAY RULES KASI BHUVANESWARI, THIYAGARAJAN KALYANI,

            Add to Reading List

            Source URL: ma.fme.vutbr.cz

            Language: English - Date: 2014-05-27 05:57:52
              237

              Designing with L-Systems, Part 1: String Rewriting Systems Strings A string is a sequence of characters, such as a word, a phrase, or a telephone number. The characters may be letters, digits, punctuation marks, dollar s

              Add to Reading List

              Source URL: www.cs.arizona.edu

              Language: English - Date: 2004-08-19 10:44:22
                238

                Embedding logics in the λΠ-calculus modulo rewriting Ali Assaf Inria Paris-Rocquencourt (Deducteam) Ecole polytechnique

                Add to Reading List

                Source URL: who.rocq.inria.fr

                Language: English - Date: 2015-01-08 08:10:54
                  239

                  Rewriting Unions of General Conjunctive Queries Using Views? Junhu Wang1,2 , Michael Maher1,3 , and Rodney Topor1 1 2

                  Add to Reading List

                  Source URL: seit.unsw.adfa.edu.au

                  Language: English - Date: 2004-07-06 04:05:22
                    240

                    BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Semantics, Modularity, and Rewriting Logic Semantics, Modularity, and Rewriting Logic

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1999-03-25 08:38:10
                      UPDATE