Rewriting

Results: 653



#Item
241

Rewriting Queries Using Views with Access Patterns Under Integrity Constraints Alin Deutsch, CSE Department Bertram Lud¨ascher, Supercomputer Center Alan Nash, Math and CSE Departments

Add to Reading List

Source URL: www.nesc.ac.uk

Language: English - Date: 2004-12-24 14:35:00
    242

    Tuesday 27 January 2009 Comment is free Jeffrey Sachs Rewriting the rulebook for 21st-century capitalism

    Add to Reading List

    Source URL: earth.columbia.edu

    Language: English - Date: 2011-12-21 16:19:38
      243

      BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1998-01-14 02:47:50
        244

        writing macros with texapi e first motivation for this set of macros is selfish : after rewriting the same lines over and over and wasting so many excruciating (yes !) hours debugging intricate loops with one typo,

        Add to Reading List

        Source URL: ctan.sciserv.eu

        Language: English - Date: 2011-10-02 13:56:30
          245

          Term Rewriting Systems SS 11 Exercise Sheet 11 (due July 20th, 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: English - Date: 2011-07-12 10:04:32
            246

            Using Gentzen system techniques with existing automated theorem provers and rewriting tools

            Add to Reading List

            Source URL: math.chapman.edu

            Language: English - Date: 2008-05-04 21:45:27
              247

              writing macros with texapi e first motivation for this set of macros is selfish : after rewriting the same lines over and over and wasting so many excruciating (yes !) hours debugging intricate loops with one typo,

              Add to Reading List

              Source URL: ctan.mirror.ac.za

              Language: English - Date: 2011-10-02 13:56:30
                248

                Towards a Proof Theory of Rewriting:  The Simply-Typed 2 -Cal ulus 

                Add to Reading List

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

                Language: English - Date: 2009-10-07 06:06:50
                  249

                  A New Probabilistic Plan Recognition Algorithm Based on String Rewriting

                  Add to Reading List

                  Source URL: www.aiconferences.org

                  Language: English - Date: 2008-10-22 17:53:36
                    250

                    Term Rewriting Systems SS 11 Exercise Sheet 1 (due April 20th, 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: English - Date: 2011-04-22 17:03:33
                      UPDATE