Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
331	[hal, v1] Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:05:43 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
332	The Subject Reduction Property in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:50:21 Mathematics Lambda calculus Formal languages Symbol Rewriting Simply typed lambda calculus Combinatory logic Natural deduction Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
333	Dedukti in a Nutshell Ronan Saillard MINES ParisTech Dedukti [1] is a proof checker based on rewriting and dependent types. It implements the λΠcalculus modulo, a very expressive logical fr Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:55:25 Type theory Functional languages Functional programming Lisp programming language Data types Append List Cons Dependent type Software engineering Computing Declarative programming
334	annual report 2004 REWRITING THE FUTURE contents Letters to Shareholders Add to Reading List Source URL: www.moserbaer.com Language: English - Date: 2008-09-10 15:03:06 Technology Supply chain management Core competency Moser Baer Solar Limited Business Management Moser Baer
335	T HE EASST N EWSLETTER A Summary of: Rule Execution in Graph-Based Incremental Interactive Integration Tools Add to Reading List Source URL: www-i3.informatik.rwth-aachen.de Language: English - Date: 2009-05-27 10:53:22 Mathematics Formal methods Abstract state machines Model checking Applied mathematics Graph rewriting Theoretical computer science Graph theory
336	Rewriting a method body to eliminate recursive tail calls c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 26th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-09-25 17:42:34 Subroutines Tail call Recursion Inline expansion Main function E Closure Software engineering Computing Computer programming
337	CASE STUDY ADVA Optical Networking Rewriting the product delivery rulebook As a major equipment supplier to BT, ADVA Optical Networking has spent many years perfecting its supply Add to Reading List Source URL: www.btplc.com Language: English - Date: 2015-03-13 10:25:24 BT Group Management Logistics Supply chain Business Technology ADVA Optical Networking
338	Representing Humans in System Security Models: An Actor-Network Approach Wolter Pieters University of Twente Enschede, The Netherlands Add to Reading List Source URL: isyou.info Language: English - Date: 2011-08-07 11:38:37 Computer security Hypergraph Vulnerability Access control Topology Social vulnerability Threat Conceptual model Graph rewriting Security Cyberwarfare Computer network security
339	Fundamentals of Physical Design Query Processing: First-Order Queries David Toman D. R. Cheriton School of Computer Science D. Toman (Waterloo) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-15 22:47:10 Mathematics Applied mathematics FO Rewriting Constructible universe Theoretical computer science Conjunctive query Database theory
340	Identification and Application of a Model Transformation Design Pattern Hüseyin Ergin Eugene Syriani Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2013-03-08 15:56:19 Software design pattern Combinatorics Theoretical computer science Graph rewriting Mathematics Graph theory

UPDATE