Rewriting

Results: 653



#Item
11

Applications of Rewriting Logic in Biology Carolyn Talcott SRI International July 2007

Add to Reading List

Source URL: pl.csl.sri.com

Language: English - Date: 2018-08-10 18:50:31
    12

    Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig

    Add to Reading List

    Source URL: cl-informatik.uibk.ac.at

    Language: English - Date: 2016-09-11 10:17:32
      13

      Estimation of Parallel Complexity with Rewriting Techniques Christophe Alias? , Carsten Fuhs† , Laure Gonnord‡ INRIA & LIP (UMR CNRS/ENS Lyon/UCB Lyon1/INRIA), Lyon, France,

      Add to Reading List

      Source URL: cl-informatik.uibk.ac.at

      Language: English - Date: 2016-09-12 03:22:34
        14

        Perfect Rewriting for Ontology Based Query Answering over Spatial Databases  Ralf Moeller Hamburg University of Technology

        Add to Reading List

        Source URL: www.strabon.di.uoa.gr

        Language: English - Date: 2017-08-20 06:13:20
          15

          Estimation of Parallel Complexity with Rewriting Techniques Christophe Alias, Carsten Fuhs, Laure Gonnord To cite this version: Christophe Alias, Carsten Fuhs, Laure Gonnord. Estimation of Parallel Complexity with Rewrit

          Add to Reading List

          Source URL: hal.archives-ouvertes.fr

          Language: English - Date: 2018-08-06 19:18:59
            16

            Rewriting Models of Boolean Programs Javier Esparza University of Stuttgart Joint work with Ahmed Bouajjani

            Add to Reading List

            Source URL: www7.in.tum.de

            Language: English - Date: 2007-05-25 06:28:11
              17

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

              Add to Reading List

              Source URL: repository.readscheme.org

              Language: English - Date: 2012-08-10 19:21:18
                18

                Minutes of the RTA’12 business meeting Moderator: Notes: Voting: Salvador Lucas

                Add to Reading List

                Source URL: rewriting.loria.fr

                Language: English - Date: 2012-06-26 06:01:13
                  19

                  Minutes of RTA Business Meeting Edinburgh, Juli 13, 2010 Moderation: Johannes Waldmann Notes: Joachim Niehren Voting:

                  Add to Reading List

                  Source URL: rewriting.loria.fr

                  Language: English - Date: 2011-05-25 12:15:38
                    20

                    Universal Rewriting in Constrained Memories Anxiao (Andrew) Jiang Michael Langberg Moshe Schwartz

                    Add to Reading List

                    Source URL: www.paradise.caltech.edu

                    Language: English - Date: 2009-04-18 17:51:47
                      UPDATE