Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Bahsoun%20Jean-Paul

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Livres (monographies) / Books (monographs)

Ouvrages de synthèse / Edited volumes

Numéros spéciaux de revues / Special issues of journal
  • Jean-Paul Bahsoun, J. Fiadeiro, D. Galmiche. Proof Theory of Concurrent Object-Oriented Programming. Dans : MSCS - Mathematical Structures in Computer Science, Giuseppe Longo Cambridge University Press, Laboratoire d'Informatique(CNRS) et DMI ENS 4(, Rue d'ULM 75005 Paris France, Vol. 9, juin 1999.
    BibTeX

Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Jean-Paul Bahsoun. Les Objets Concurrents et leurs Systèmes de Preuve. Habilitation à diriger des recherches, Université Paul Sabatier, décembre 1994.
    BibTeX