Rewriting and Call-time choice: the HO case? (Extended version) Tech. Rep. UCM-SIC-3-08, 2008 F.J. L´ opez-Fraguas, J. Rodr´ıguez-Hortal´a, and J. S´anchez-Hern´andez

Source URL: gpd.sip.ucm.es

Reasoning about Term Rewriting in Kleene Categories with Converse Toshinori Takai(*1)(*2), Hitoshi Furusawa(*2) and Wolfram Kahl(*3) (*1) (*2)

Source URL: ocvs.cfv.jp

2013 International Conference on Culture and Computing Evaluation of Rewriting Service in Language Translation Web Services Workflow Takuro Yamaguchi Faculty of Science and Engineering Waseda University

Source URL: www.ai.soc.i.kyoto-u.ac.jp

CIRCUITS, CATEGORIES AND REWRITE RULES John Baez & Brendan Fong Higher-Dimensional Rewriting and Applications Warsaw, 29 June 2015

Source URL: math.ucr.edu

• Port
• Smooth functions
• Mathematical analysis
• Category theory
• Mathematics
• Pushforward
• Theoretical physics
• Tensor product of modules

Under consideration for publication in Math. Struct. in Comp. Science A rewriting calculus for cyclic higher-order term graphs PAOLO BALDAN1 CLARA BERTOLISSI3 CLAUDE KIRCHNER5

Source URL: www.math.unipd.it

Rewriting with linear inferences in propositional logic Anupam Das February 15, 2013 Abstract Linear inferences are sound implications of propositional logic where

Source URL: www.anupamdas.com

On the confluence of lambda-calculus with conditional rewriting Frédéric Blanqui (INRIA) ∗ Claude Kirchner (INRIA) Colin Riba (LIP - ENS Lyon) ‡

Source URL: perso.ens-lyon.fr

2013 Outstanding Pool & Recreational Project Cliffside Plunge: Rewriting the Rules for Concrete Placement By William T. Drakeley Jr.

Source URL: www.shotcrete.org

• Concrete
• Tunnels
• Shotcrete
• Civil engineering
• Swimming pool
• Retaining wall
• Formwork
• Pool

Rewriting-based Quantifier-free Interpolation for a Theory of Arrays Roberto Bruttomesso1 , Silvio Ghilardi2 , and Silvio Ranise3 1 2 3

Source URL: users.mat.unimi.it

Solutions and Query Rewriting in Data Exchange✩ Marcelo Arenasa , Pablo Barcel´ob , Ronald Fagin∗,c , Leonid Libkind a Department of Computer Science, Pontificia Universidad Cat´ olica, Av. Vicu˜

Source URL: users.dcc.uchile.cl