A Variability-Based Approach to Reusable and Efficient Model Transformations Daniel Str¨uber1 , Julia Rubin2 , Marsha Chechik3 , and Gabriele Taentzer1 1 Philipps-Universit¨at Marburg, Germany

Source URL: people.csail.mit.edu

• Predicate logic
• Logic
• Graph rewriting
• Philosophical logic
• First-order logic
• Graph
• Quantification
• Planar graph
• FO
• Graph theory
• Mathematics
• Theoretical computer science

Rewriting competition law from an economic perspective Amsterdam, 18 MayRewriting competition law from an economic

Source URL: www.seo.nl

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,

Source URL: ctan.cs.uu.nl

April 13, 2007 — Final version for proceedings of RTA’07 A Characterisation of Medial as Rewriting Rule Lutz Straßburger INRIA Futurs, Projet Parsifal ´

Source URL: www.lix.polytechnique.fr

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,

Source URL: mirror.math.ku.edu

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

Source URL: verify.rwth-aachen.de

Solutions and query rewriting in data exchange

Source URL: web.ing.puc.cl

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,

Source URL: mirror.easyname.at

Schema-Agnostic Query Rewriting in SPARQL 1.1 Stefan Bischof1 , Markus Krötzsch2 , Axel Polleres3 , and Sebastian Rudolph2 1 Vienna University of Technology, Austria and Siemens AG Österreich, Austria 2

Source URL: ddll.inf.tu-dresden.de