Downloads


SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
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
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
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
Ċ
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
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
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
Ċ
View Download
Graph constraints and application conditions within MGG  464k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
Ċ
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
Ċ
View Download
Sequential and parallel independence plus negative application conditions  414k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
Ċ
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
Ċ
View Download
Petri nets and MGG: Reachability  801k v. 2 Sep 13, 2011, 6:17 AM Pedro Pablo Pérez Velasco
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
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
ċ

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
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
ć
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
ą

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
ć
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
ć
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
ċ

Download
Slides of Matrix Graph Grammars plus LaTeX code  2510k v. 3 Sep 13, 2011, 12:58 AM Pedro Pablo Pérez Velasco
ć
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
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
Harmonic Analysis On Boolean Functions  101k v. 2 Sep 13, 2011, 5:47 AM Pedro Pablo Pérez Velasco
Ċ
View Download
Representation Theory  200k v. 2 Sep 13, 2011, 5:47 AM Pedro Pablo Pérez Velasco
Comments