Downloads - matrix graph grammars

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

Sign in|Report Abuse|Print Page|Remove Access|Powered By Google Sites