Parigot Michel. Théories d'arbres

Journal of Symbolic Logic 49 (2):672 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274208

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Michel Parigot, Theories d'Arbres. [REVIEW]G. Sabbagh - 1984 - Journal of Symbolic Logic 49 (2):672-672.
Theories d'Arbres.Michel Parigot - 1984 - Journal of Symbolic Logic 49 (2):672-672.
Le modèle compagnon de la théorie Des arbres.Michel Parigot - 1983 - Mathematical Logic Quarterly 29 (3):137-150.
Théories d'arbres.Michel Parigot - 1982 - Journal of Symbolic Logic 47 (4):841-853.
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings.Michel Parigot & Andrei Voronkov - 2000 - Springer.
Longueur de branches et arbres de mots.Philippe Gambette, Nuria Gala & Alexis Nasr - 2012 - Corpus 11.
Les cernes de croissance des arbres. [REVIEW]Peter Kuniholm - 1992 - Speculum 67 (1):200-201.
Review: Michel Cazin, Algorithmes et Theories Physiques; Michel Cazin, Algorithme et Construction d'une Theorie Unifiante. [REVIEW]Carl G. Hempel - 1950 - Journal of Symbolic Logic 14 (4):254-255.
Quelques aspects de la circulation de l'eau dans les arbres.K. N. H. Greenidge - 1962 - Scientia 56 (97):du Supplém. 47.
La lutte contre les viroses des arbres fruitiers.C. Sibilia - 1961 - Scientia 55 (96):du Supplém. 180.
Les résultats des recherches contemporaines sur les races d'arbres en Europe centrale.K. Rubner - 1960 - Scientia 54 (95):du Supplém. 183.
Arbres : une poétique de l'androgyne.Jean-Claude Masson - 1983 - Cahiers Internationaux de Symbolisme.
Les chaînes et les arbres. Les renvois des ordres dans l'encyclopédie.Mariafranca Spallanzani - 2006 - Corpus: Revue de philosophie 51:43-83.
Proofs of strong normalisation for second order classical natural deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
Rapport sur le « Traité des arbres et arbustes » de Duhamel du Monceau.Roland Lamontagne - 1963 - Revue d'Histoire des Sciences 16 (3):221-225.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,025,624)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references