Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
281	ISSNGRACE TECHNICAL REPORTS Bidirectionalizing Structural Recursion on Graphs Add to Reading List Source URL: grace-center.jp Language: English - Date: 2015-02-10 03:40:06 Rooted graph Graph operations Matroid theory Median graph Path decomposition Graph theory Mathematics Graph rewriting
282	Multi-focusing on extensional rewriting with sums (introduction) Gabriel Scherer Gallium – INRIA March 11, 2014 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-03-11 05:43:20
283	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
284	JanuaryStanford Verification Group Report No. 15 Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2005-01-06 03:20:52 Algebraic structures Algebraic logic Boolean algebra Differential equation Universal algebra Unification Variety Boolean algebras canonically defined Heyting algebra Mathematics Abstract algebra Algebra
285	Research Paper Progress in Informatics, No) Add to Reading List Source URL: www.biglab.org Language: English - Date: 2013-05-10 04:50:43 Graph rewriting Signed graph Graph operations Graph database Graph theory Mathematics Theoretical computer science
286	Craig Interpolation Theorems and Database Applications Balder ten Cate! LogicBlox & UC Santa Cruz! ! Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-09 02:27:37 Model theory Conjunctive query Database theory Lemmas FO First-order logic Structure Craig interpolation Rewriting Mathematics Logic Mathematical logic
287	ISSNGRACE TECHNICAL REPORTS Bidirectionalizing Structural Recursion on Graphs Add to Reading List Source URL: www.biglab.org Language: English - Date: 2011-01-08 13:03:57 Rooted graph Graph operations Matroid theory Median graph Path decomposition Graph theory Mathematics Graph rewriting
288	Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-02 15:59:38 Deduction Logical consequence Natural deduction Propositional calculus Sequent calculus Entailment Linear logic Monotonicity of entailment Curry–Howard correspondence Logic Proof theory Mathematical logic
289	Marker-directed Optimization of UnCAL Graph Transformations Soichiro Hidaka1 , Zhenjiang Hu1 , Kazuhiro Inaba1 , Hiroyuki Kato1 , Kazutaka Matsuda2 , Keisuke Nakano3 , and Isao Sasano4 1 Add to Reading List Source URL: www.biglab.org Language: English - Date: 2011-07-11 07:36:54 Function Graph rewriting Graph Monochromatic triangle Mathematics Graph theory Theoretical computer science
290	Microsoft Word - 2-Meszaros.doc Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-10-07 03:17:06 Theoretical computer science Automata theory Models of computation Computing Graph theory GReAT Event DEVS Action Graph rewriting Software engineering Unified Modeling Language

UPDATE