Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
581	An Algorithm Rules JEAN in Polynomial Add to Reading List Source URL: cs-pub.bu.edu Language: English - Date: 2002-12-11 10:42:01 Mathematical logic Logic in computer science Applied mathematics Rewriting Unification Semi-Thue system Theoretical computer science Mathematics Formal languages
582	Diagram Rewriting Yves Lafont CNRS - Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) Thematic school: Operads CIRM - Marseille Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2009-09-03 02:00:00 Algebraic geometry Finite morphism Algebraic logic Group theory Boolean algebra Outline of algebraic structures Μ operator Abstract algebra Mathematics Algebra
583	DIAGRAM REWRITING AND OPERADS by Yves Lafont Abstract. — We give a survey of a diagrammatic syntax for PROs and PROPs, which are related to the theory of operads and bialgebras. Using diagram rewriting, Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2010-02-10 09:08:50 Physics Mathematics Linear temporal logic Μ operator Symbol Operad theory Canonical commutation relation
584	Before the Delusion by William Gleeson, a bombshell rewriting 12,000 years of history By Roland Michel Tremblay (Images/photos listing and credits at the end.) Before the Delusion: Secret Add to Reading List Source URL: www.themarginal.com Language: English - Date: 2013-05-06 19:31:22 Architecture Stonehenge Egyptian pyramids Pyramid Giza Necropolis Great Pyramid of Giza Nubia New Age Pyramidology Wiltshire Giza Plateau African architecture
585	Algebra and Geometry of Rewriting∗ Yves Lafont† Institut de Mathématiques de Luminy (UMR 6206 du CNRS) Université de la Méditerranée (Aix-Marseille 2) October 9, 2006 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2006-10-09 13:16:27 Semigroup theory Formal languages Algebraic structures Model theory Mathematical logic Monoid Presentation of a monoid Rewriting Free monoid Abstract algebra Mathematics Algebra
586	GT-VC[removed]An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Long Version) 1,2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2007-08-08 08:19:07 Morphisms Category Sheaf Epimorphism Initial and terminal objects Graph rewriting Additive category Multicategory Abstract algebra Mathematics Category theory
587	Before the Delusion by William Gleeson, a bombshell rewriting 12,000 years of history By Roland Michel Tremblay (Images/photos listing and credits at the end.) Add to Reading List Source URL: www.themarginal.com Language: English - Date: 2013-05-06 19:31:09 Architecture Stonehenge Egyptian pyramids Pyramid Giza Necropolis Great Pyramid of Giza Nubia New Age Pyramidology Wiltshire Giza Plateau African architecture
588	Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-08-11 13:42:10 Category theory Morphisms Graph rewriting Graph theory Pushout Epimorphism Category Ample line bundle Sheaf Abstract algebra Mathematics Algebra
589	Generalized Constraints and Application Conditions for Graph Transformation Systems Karl-Heinz Pennemann Carl v. Ossietzky University of Oldenburg, Germany [removed] September 17, 2004 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2013-07-09 05:42:22 Graph rewriting Category theory Duality Morphism Graph Constraint programming Universal property Category Lattice theory Mathematics Graph theory Theoretical computer science
590	Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N† Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-16 05:05:39 Morphism Category Pushout Graph rewriting Grothendieck topology Sheaf Universal property Monomorphism Initial and terminal objects Category theory Abstract algebra Mathematics

UPDATE