Jean-Pierre Jouannaud's Documents

Jean-Pierre Jouannaud's Documents

Rewriting Techniques and Applications, 1 conf., RTA-85

Rewriting Techniques and Applications, 1 conf., RTA-85
Read more
Certified Programs and Proofs - CPP 2011

Certified Programs and Proofs - CPP 2011
Read more
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Read more
TAPSOFT'93: Theory and Practice of Software Development

TAPSOFT'93: Theory and Practice of Software Development
Read more
Theoretical Computer Science and General Issues)

Theoretical Computer Science and General Issues)
Read more
Algebra, meaning and computation. Essays dedicated to J.A. Goguen

Algebra, meaning and computation. Essays dedicated to J.A. Goguen
Read more
Mastering calculations in linear and nonlinear mechanics

Mastering calculations in linear and nonlinear mechanics
Read more
Algebre Locale, Multiplicites. Cours au College de France, 1957 - 1958

Algebre Locale, Multiplicites. Cours au College de France, 1957 - 1958
Read more
Concepts and results in chaotic dynamics: a short course

Concepts and results in chaotic dynamics: a short course
Read more
Concepts and Results in Chaotic Dynamics: A Short Course

Concepts and Results in Chaotic Dynamics: A Short Course
Read more
Mastering Calculations in Linear and Nonlinear Mechanics

Mastering Calculations in Linear and Nonlinear Mechanics
Read more
Concepts and results in chaotic dynamics. A short course

Concepts and results in chaotic dynamics. A short course
Read more
Concepts and Results in Chaotic Dynamics: A Short Course

Concepts and Results in Chaotic Dynamics: A Short Course
Read more
Pionniers de la radiothérapie

Pionniers de la radiothérapie
Read more
Nouveaux jeux de l'esprit et divertissements mathématiques

Nouveaux jeux de l'esprit et divertissements mathématiques
Read more
Hardware Implementation of Finite-Field Arithmetic

Hardware Implementation of Finite-Field Arithmetic
Read more
Povestiri 1

Povestiri 1
Read more
The Pussy Whispers

The Pussy Whispers
Read more
The Sun's Surface and Subsurface

The Sun's Surface and Subsurface
Read more
Varron, Satires Ménippées, Volume 9: Nescis quid uesper serus uehat - Papia papae (Collection de l'École Française de Rome, 9)

Varron, Satires Ménippées, Volume 9: Nescis quid uesper serus uehat - Papia papae (Collection de l'École Française de Rome, 9)
Read more
Algebraic groups and class fields

Algebraic groups and class fields
Read more
Die Abenteuer des Anselm Wüßtegern - Informagie

Die Abenteuer des Anselm Wüßtegern - Informagie
Read more
L'Année du contact : D'autres intelligences sont-elles à l'oeuvre dans l'univers ?

L'Année du contact : D'autres intelligences sont-elles à l'oeuvre dans l'univers ?
Read more
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory
Read more
Mathématiques et mathématiciens

Mathématiques et mathématiciens
Read more
Comment decorer vos plats et plier les serviettes

Comment decorer vos plats et plier les serviettes
Read more
Zentak, tome 2 : Les Roches bleues

Zentak, tome 2 : Les Roches bleues
Read more
L'homme neuronal

L'homme neuronal
Read more
Varron, Satires Ménippées : Volume 8. Marcopolis - Mysteria (Collection de l'École Française de Rome, 9)

Varron, Satires Ménippées : Volume 8. Marcopolis - Mysteria (Collection de l'École Française de Rome, 9)
Read more
The Black Hole

The Black Hole
Read more