Rewriting

Results: 653



#Item
161

Graph Rewriting for Classical Structures University of Edinburgh Edinburgh, Scotland, UK Lucas Dixon

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2008-09-12 14:05:40
    162

    Analysis and Transformation of Source Code by Parsing and Rewriting ACADEMISCH P ROEFSCHRIFT

    Add to Reading List

    Source URL: homepages.cwi.nl

    Language: English - Date: 2005-10-23 09:50:17
      163

      An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester

      Add to Reading List

      Source URL: ceur-ws.org

      Language: English - Date: 2012-05-14 11:51:57
        164

        REWRITING a PRESOCRATIC chorus / remixing verbal + visual lines JOSEPH F. KEPPLER E·R A T I O

        Add to Reading List

        Source URL: eratiopostmodernpoetry.com

        Language: English - Date: 2015-07-07 07:18:11
          165

          Aachen Department of Computer Science Technical Report Automated Termination Analysis of Java Bytecode by Term Rewriting

          Add to Reading List

          Source URL: verify.rwth-aachen.de

          Language: English - Date: 2015-04-16 09:49:59
            166

            Transformational Approach to Inverse Computation in Term Rewriting January 2004 Naoki Nishida Graduate School of Engineering, Nagoya University

            Add to Reading List

            Source URL: www.sakabe.nuie.nagoya-u.ac.jp

            Language: English - Date: 2004-11-14 23:15:00
              167

              Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting M. Brockschmidt, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany RTA 2011, Novi Sad

              Add to Reading List

              Source URL: verify.rwth-aachen.de

              Language: English - Date: 2015-04-16 09:49:59
                168

                Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting∗ Marc Brockschmidt, Carsten Otto, Jürgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Abstract

                Add to Reading List

                Source URL: verify.rwth-aachen.de

                Language: English - Date: 2015-04-16 09:49:59
                  169

                  Question Flood Targeted Standards: WHSTWith some guidance and support from peers and adults, develop and strengthen writing as needed by planning, revising, editing, rewriting, or trying a new approach, focusing o

                  Add to Reading List

                  Source URL: www.ilwritingmatters.org

                  Language: English - Date: 2014-10-21 12:26:27
                    170

                    On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems∗ Naoki Nishida†, Masahiko Sakai and Toshiki Sakabe Graduate School of Information Science, Nagoya University, Furo-cho, Chikusa-ku, Nago

                    Add to Reading List

                    Source URL: www.sakabe.nuie.nagoya-u.ac.jp

                    Language: English - Date: 2005-12-27 07:14:47
                      UPDATE