Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Guiraud, Yves - INRIA & Laboratoire Lorrain de Recherche en Informatique et ses Applications (Loria), Université Henri Poincaré -Nancy-Université
16th November 2004 Termination orders for 3-dimensional rewriting
Compilateur pour programmes polygraphiques en TOM Aurelien Monot
Higher categories with finite derivation type Yves Guiraud1
Polygraphic programs and polynomial-time functions Guillaume Bonfante Yves Guiraud
POLYGRAPHS FOR TERMINATION OF LEFT-LINEAR TERM REWRITING SYSTEMS
HIGHER-DIMENSIONAL REWRITING Yves GUIRAUD
Catex documentation Yves Guiraud, INRIA Nancy, yves.guiraud@loria.fr
POLYGRAPHES, RCRITURE ET LOGIQUE Yves GUIRAUD
16th March 2005 -Last modification: 14th April 2005 The three dimensions of proofs
LES TROIS DIMENSIONS DES DMONSTRATIONS Yves GUIRAUD
THE THREE DIMENSIONS OF PROOFS Yves GUIRAUD
HIGHER-DIMENSIONAL NORMALISATION STRATEGIES FOR ACYCLICITY
THE THREE DIMENSIONS OF PROOFS Yves GUIRAUD
Identities among relations for higher-dimensional rewriting systems
Higher-dimensional categories with finite derivation type Yves Guiraud Philippe Malbos
: a Deployment Environment for Autonomous Agents
n-Catgories de type de drivation fini Yves Guiraud Philippe Malbos
Rencontre INVAL Complexit des programmes polygraphiques
LES TROIS DIMENSIONS DES DMONSTRATIONS Yves GUIRAUD
HIGHER-DIMENSIONAL REWRITING Yves GUIRAUD
Coherence in monoidal track categories Yves Guiraud Philippe Malbos
Sminaire Protho Polygraphic programs
