Le th´eor`eme fondamental de l’alg`ebre Jean-Yves Briend 30 janvier 2006

Source URL: www.cmi.univ-mrs.fr

Jean-Yves Éveillard* Graffite et portrait d’un Osisme sur une plaquette de schiste

Source URL: hal.univ-brest.fr

Georges Perrin and the GP cost calculation method: the story of a failure Yves Levant, PESOR Faculté Jean Monnet de Sceaux

Source URL: odlv.free.fr

• Costs
• Activity-based costing
• Sparkling wine production
• Business
• Management accounting
• Cost accounting

The MIT Kerberos Administrator’s How-to Guide Protocol, Installation and Single Sign On By Jean-Yves Migeon

Source URL: www.kerberos.org

• Computer security
• Kerberos
• Ticket Granting Ticket
• Key distribution center
• Single sign-on
• Authentication server
• Ticket
• Secure Shell
• Network Information Service
• Computing
• Computer network security
• Cryptography

Le statut paradoxal du paradoxe Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS

Source URL: iml.univ-mrs.fr

Jean-Yves RIBAULT LES ILES

Source URL: www.grandcolombier.com

Jean-Yves Audibert***, Sébastien Bubeck****, Vincent Danjean*****, Sylvain Gelly*, Thomas Hérault**, Jean-Baptiste Hoock*, Chang-Shing Lee******, Rémi Munos****, Julien Pérez*, Arpad Rimmel*, Marc Schoenauer*, Michèle Sebag*,

Source URL: www.pleinsud.u-psud.fr

• Concurrent computing
• Parallel computing
• Electronics
• Grid computing
• Computer cluster
• Go
• Computer chess
• Computer
• Algorithm
• Computing
• Mogo
• Games

PDF Document

Source URL: www.uni-log.org

• Walter Carnielli
• Paraconsistent logic
• Many-valued logic
• Abstract algebraic logic
• Modal logic
• Fuzzy logic
• Universal logic
• Jean-Yves Béziau
• Non-monotonic logic
• Logic
• Mathematical logic
• Non-classical logic

PDF Document

Source URL: hal.archives-ouvertes.fr

• Proof theory
• Philosophical logic
• Metalogic
• Noncommutative logic
• Linear logic
• Entailment
• Natural deduction
• Jean-Yves Girard
• Proof net
• Logic
• Substructural logic
• Deduction