Rewriting

Results: 653



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

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
    12Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig

    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
      13Estimation of Parallel Complexity with Rewriting Techniques Christophe Alias? , Carsten Fuhs† , Laure Gonnord‡ INRIA & LIP (UMR CNRS/ENS Lyon/UCB Lyon1/INRIA), Lyon, France,

      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
        14Perfect Rewriting for Ontology Based Query Answering over Spatial Databases  Ralf Moeller Hamburg University of Technology

        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
          15Estimation 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

          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
            16Rewriting Models of Boolean Programs Javier Esparza University of Stuttgart Joint work with Ahmed Bouajjani

            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
              17An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

              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
                18Minutes of the RTA’12 business meeting Moderator: Notes: Voting: Salvador Lucas

                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
                  19Minutes of RTA Business Meeting Edinburgh, Juli 13, 2010 Moderation: Johannes Waldmann Notes: Joachim Niehren Voting:

                  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
                    20Universal Rewriting in Constrained Memories Anxiao (Andrew) Jiang Michael Langberg Moshe Schwartz

                    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