Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
611	Specifying, programming, and verifying in Maude Some applications to Model-Driven Engineering and Graph Rewriting (material based on a course by Narciso Mart´ı-Oliet, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-10-24 10:43:00 Universal algebra Mathematical logic Model theory Functional languages Formal languages ALGOL 68 Structure Rewriting Q Programming language theory Mathematics Logic
612	Associative-Commutative Rewriting on Large Terms Steven Eker, SRI Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2003-06-22 06:25:40 Multiset Associative containers Mathematics Function Binary tree
613	Twenty Years of Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois at Urbana-Champaign, IL 61801, USA Abstract Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:45 Formal languages Logic programming Automated theorem proving Propositional calculus Rewriting Unification Substitution Abstract rewriting system Entailment Logic Theoretical computer science Logic in computer science
614	On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories1 Francisco Dur´an Universidad de M´ alaga, Spain Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:46 Mathematical structures Model theory Formal languages Algebraic structures Metalogic Structure Rewriting Maude system Unification Mathematical logic Mathematics Logic
615	Declarative Debugging of Maude Modules∗ Adri´an Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Mart´ı-Oliet Technical Report SIC-6-08 Departamento de Sistemas Inform´ aticos y Computaci´ on, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-01-14 12:08:17 Logic in computer science Software engineering Maude system Functional languages Formal languages Rewriting OBJ Debugging Equational logic Theoretical computer science Programming language theory Mathematical logic
616	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
617	An introduction to Maude and some of its applications Narciso Mart´ı-Oliet Departamento de Sistemas Inform´ aticos y Computaci´ on Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2010-01-20 12:34:03 Applied mathematics Logic in computer science Lambda calculus Metalogic Model theory Rewriting Maude Divergence Structure Mathematics Theoretical computer science Formal languages
618	RDFS with Attribute Equations via SPARQL Rewriting Stefan Bischof and Axel Polleres Add to Reading List Source URL: stefanbischof.at Language: English - Date: 2013-06-13 06:04:58 Information RDF Query languages Knowledge representation RDF Schema Metadata SPARQL Semantic reasoner RDF query language Semantic Web Data management Computing
619	WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-31 03:35:21 Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics
620	STRATEGIES[removed]Deduction, Strategies, and Rewriting Steven Ekera , Narciso Mart´ı-Olietb , Jos´e Meseguerc , and Alberto Verdejob a Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-30 14:15:22 Mathematics Mathematical logic Lambda calculus Formal languages Maude system Logic programming Rewriting Combinatory logic Unification Theoretical computer science Logic Logic in computer science

UPDATE