Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
301	PDF Document Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2009-06-06 13:08:44 Unified Modeling Language Graph rewriting Logic in computer science Graph theory Combinatory logic UnQL Model transformation Data management Theoretical computer science Mathematics
302	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
303	The relationship between difference and ratio and a proposal: Equivalence of temperature and time, and the first spontaneous symmetry breaking Add to Reading List Source URL: www.jsystchem.com Language: English Graph rewriting Morphisms Subgraph isomorphism problem Graph homomorphism Matching Molecular graph Graph Chemical reaction Chemistry Graph theory Mathematics Theoretical computer science
304	“Rewriting is writing,” goes the old saying, but so much of writing advice focuses on first drafts. I don’t think there’s nearly enough discussion on how to get from first to final draft… And yet that process Add to Reading List Source URL: www.theferrett.com Language: English - Date: 2012-02-27 07:36:26 Blood Relations Lizzie Spaulding
305	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis∗ Iliano Cervesato Nancy A. Durgin Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 02:19:22 Logic in computer science Multiset Π-calculus Petri net Rewriting Mathematics Theoretical computer science Applied mathematics
306	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics
307	Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2009-07-03 21:08:08 Cross-platform software Scripting languages JavaScript Eval JSON C ECMAScript Apply Scope Computing Software engineering Computer programming
308	Rewriting the Early Numismatic History of SOUTH AFRICA by Scott Balson here is a remarkable historical overlap between South Africa and Add to Reading List Source URL: www.tokencoins.com Language: English - Date: 2013-08-29 23:15:48 Token coin Tokens Exonumia Griqua people Griqualand East Coin Dollar coin United States dollar Silver coin Numismatics Currency Money
309	Automatic Analysis of Plot for Story Rewriting Harry Halpin School of Informatics University of Edinburgh 2 Buccleuch Place Edinburgh, EH8 9LW Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:16 Natural language processing Computational linguistics Information retrieval Latent semantic analysis Inter-rater reliability Algorithm K-nearest neighbor algorithm Science Statistics Information science
310	Institut für Informatik Betriebliche Informationssysteme Graph-basierte Transformationsansätze Andrius Patapovas Add to Reading List Source URL: orvia.informatik.uni-leipzig.de Language: English - Date: 2007-09-06 05:37:45 Theoretical computer science Combinatorics VIATRA GReAT Graph Graph rewriting Graph theory Mathematics

UPDATE