matrix graph grammars

Search this site

Downloads


 eBooks
Ċ MatrixGraphGrammars_AnAlgebraicApproachtoGraphTransformation_v1_2_.pdf
View Download		 Tutorial book on Matrix Graph Grammars. Accessible approach to the theory  5165k v. 2 Sep 13, 2011, 6:23 AM Pedro Pablo Pérez Velasco
 MGG - complexity theory
Ċ MatrixGraphGrammarsandComplexity_MonotoneComplexLogics.pdf
View Download		 Matrix Graph Grammars and Complexity _ Monotone Complex Logics.pdf  570k v. 2 Sep 13, 2011, 5:41 AM Pedro Pablo Pérez Velasco
Ċ MGGasamodelofcomputation.pdf
View Download		 This paper introduces MGG as a formal grammar and as a model of computation  599k v. 2 Sep 13, 2011, 5:41 AM Pedro Pablo Pérez Velasco
 MGG - Fundamentals
Ċ AlgebraicApproach2GraphTransformation.pdf
View Download		 An extended version of the preliminaries of MGG theory  697k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
Ċ MGGApplicationConditions.pdf
View Download		 Graph constraints and application conditions within MGG  464k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
Ċ MGGMatchingAndSequences.pdf
View Download		 in Lecture Notes in Computer Science 4178, pp. 122-137  289k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
Ċ MGGParallelSequentialIndependence.pdf
View Download		 Sequential and parallel independence plus negative application conditions  414k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
Ċ MGGtransformationofrestrictions.pdf
View Download		 Transformation of pre and postconditions. Delocalization and multidigraph rewriting  768k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
Ċ PetrinetsandMGGReachability.pdf
View Download		 Petri nets and MGG: Reachability  801k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
 Miscellaneous
Ċ P_NP_ConceptualApproach_web.pdf
View Download		 Slides used on two seminars at U.A.M. during April 2007. Notes also included.   461k v. 2 Sep 13, 2011, 1:01 AM Pedro Pablo Pérez Velasco
ċ
 TheRiemannHypothesis.zip
View Download		 based on the book "What is Riemann's Hypothesis?" by Mazur and Stein (http://wstein.org/rh/rh/rh.pdf)  1126k v. 3 Sep 13, 2011, 5:50 AM Pedro Pablo Pérez Velasco
 Presentations
ć AnalysingRuleswithApplicationConditionsUsingMatrixGraphGrammars.ppt
View Download		 Presentation (prepared and carried out by Juan de Lara) during September 2007 at GTVC'2007  910k v. 3 Sep 13, 2011, 12:44 AM Pedro Pablo Pérez Velasco
ą
 MatrixApproachToGraphTransformationICM2006.jpg
View Download		 Award winning poster (2nd position) in section 15 "Mathematical Aspects of Computer Science" of ICM'2006  1554k v. 3 Sep 13, 2011, 12:44 AM Pedro Pablo Pérez Velasco
ć MatrixApproachtoGraphTransformationMatchingandSequences.ppt
View Download		 Presentation (prepared and carried out by Juan de Lara) at ICGT'2006  794k v. 4 Sep 13, 2011, 12:58 AM Pedro Pablo Pérez Velasco
ć MatrixGraphGrammarsfortheAnalysisofBehaviouralSpecificationsSequentialandParallelIndependence.ppt
View Download		 Presentation (prepared and carried out by Juan de Lara) during September 2007 at PROLE'2007  1323k v. 3 Sep 13, 2011, 12:58 AM Pedro Pablo Pérez Velasco
ċ
 MGGgeneralpresentation.tar.bz2
Download		 Slides of Matrix Graph Grammars plus LaTeX code  2510k v. 3 Sep 13, 2011, 12:58 AM Pedro Pablo Pérez Velasco
ć PetriNetsandMatrixGraphGrammarsReachability.ppt
View Download		 Presentation (prepared and carried out by Juan de Lara) at PNGT'2006  1057k v. 4 Sep 13, 2011, 12:58 AM Pedro Pablo Pérez Velasco
 Tutorials
Ċ HarmonicAnalysisOnBooleanFunctions.pdf
View Download		 Harmonic Analysis On Boolean Functions  101k v. 2 Sep 13, 2011, 5:47 AM Pedro Pablo Pérez Velasco
Ċ RepresentationTheory.pdf
View Download		 Representation Theory  200k v. 2 Sep 13, 2011, 5:47 AM Pedro Pablo Pérez Velasco
Comments