Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("COQUAND")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 150

  • Page / 6

Export

Selection :

  • and

LiveProd : Les bénéfices de la maintenance conditionnelle accessibles à tousCOQUAND, E.ATIP. Association technique de l'industrie papetière (1989). 2007, Vol 61, Num 5, pp 32-34, issn 0997-7554, 3 p.Article

On the definition of reduction for infinite termsCOQUAND, C; COQUAND, T.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1996, Vol 323, Num 5, pp 553-558, issn 0764-4442Article

A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutionsCOQUAND, Catarina.Higher-order and symbolic computation. 2002, Vol 15, Num 1, pp 57-90, issn 1388-3690, 34 p.Article

A syntactical proof of the Marriage LemmaCOQUAND, Thierry.Theoretical computer science. 2003, Vol 290, Num 1, pp 1107-1113, issn 0304-3975, 7 p.Article

Une preuve directe du théorème d'ultime obstination = A direct proof of the ultimate obstination theoremCOQUAND, T.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1992, Vol 314, Num 6, pp 489-492, issn 0764-4442Article

Categories of embeddingsCOQUAND, T.Theoretical computer science. 1989, Vol 68, Num 3, pp 221-237, issn 0304-3975, 17 p.Article

Sur un théorème de Kronecker concernant les variétés algébriques = On a theorem of Kronecker about algebraic setsCOQUAND, Thierry.Comptes rendus. Mathématique. 2004, Vol 338, Num 4, pp 291-294, issn 1631-073X, 4 p.Article

An intuitionistic proof of Tychonoff's theoremCOQUAND, T.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 28-32, issn 0022-4812Article

La section sanitaire-thermiqueBLANC-COQUAND.Revue Générale de l'Enseignement des Déficients Auditifs. 1976, Vol 68, Num 3, pp 138-146Article

Une théorie des constructionsCoquand, Thierry.1985, 91 p., isbn 2-7261-0412-6Thesis

An analysis of Tamsey's theoremCOQUAND, T.Information and computation (Print). 1994, Vol 110, Num 2, pp 297-304, issn 0890-5401Article

QUELQUES OBSERVATIONS SUR LES CALCAIRES BLANCS JURASSIQUES DU MIDI DE LA FRANCE.COQUAND.1876; BULL. SOC. GEOL. FR; FRA; 1876,77, VOL. 5, P. 813 A 814Miscellaneous

DESCRIPTION DES TERRAINS PRIMAIRES ET IGNES DU DEPARTEMENT DU VAR.COQUAND.1845; C.R. ACAD. SCI.-FR.SER.D; FRA; 1845, VOL. 21, P. 1327Miscellaneous

GISEMENTS D'ANTHRACITE DES ENVIRONS DE LA MURE.COQUAND.1841; BULL. SOC. GEOL. FR; FRA; 1841, VOL. 12, P. 273 A 274Miscellaneous

MODIFICATIONS EPROUVEES PAR LES CALCAIRES AU VOISINAGE ET AU CONTACT DES ROCHES IGNEES.COQUAND.1841; BULL. SOC. GEOL. FR; FRA; 1841, VOL. 12, P. 314 A 352Miscellaneous

TERRAINS NEOCOMIENS DE LA PROVENCE.COQUAND.1840; BULL. SOC. GEOL. FR; FRA; 1840, VOL. 11, P. 401 A 406Miscellaneous

LE GYPSE D'AIX.COQUAND.sdBULL. SOC. GEOL. FR; FRA; , P. 219 A 221Miscellaneous

INTERVENTION.COQUAND.1867; BULL. SOC. GEOL. FR; FRA; 1867,68, VOL. 25, P. 911 A 913Miscellaneous

REPONSE A LA NOTE DE M.S.GRAS, LUE DANS LA SEANCE AU 15JANVIER 1844.COQUAND.1843; BULL. SOC. GEOL. FR; FRA; 1843, VOL. 1, P. 414 A 417Miscellaneous

TERRAINS COMPRIS ENTRE LES SABLES-D'OLONNE ET LA GACHERE, ET PRINCIPALEMENT SUR L'AMPHIBOLITE DE LA BAUDUERE, ET LA TOURBE MARINE DE LA COTE-DES-GRANGES (VENDEE).COQUAND.1835; BULL. SOC. GEOL. FR; FRA; 1835, VOL. 7, P. 74 A 83Miscellaneous

Metamathematical investigations of a calculus of constructionsCOQUAND, Thierry.Rapports de recherche - INRIA. 1989, Vol 1088, issn 0249-6399, 29 p.Report

NOUVELLES CONSIDERATIONS SUR LES CALCAIRES JURASSIQUES A DICERAS DU MIDI DE LA FRANCE, EN REPONSE A LA NOTE DE M. HEBERT DU 9 NOVEMBRE 1868.COQUAND H.1869; BULL. SOC. GEOL. FR; FRA; 1869,70, VOL. 27, P. 73 A 106Miscellaneous

SUR L'EXISTENCE DES ASSISES A AVICULA CONTORTA DANS LES DEPARTEMENTS DU VAR ET DES BOUCHES-DU-RHONE.COQUAND H.1862; BULL. SOC. GEOL. FR; FRA; 1862,63, VOL. 20, P. 426 A 441Miscellaneous

DESCRIPTION PHYSIQUE GEOLOGIQUE MINERALOGIQUE ET PALEONTOLOGIQUE DU DEPARTEMENT DE LA CHARENTE (EN 2 VOLUMES). PART. -3- PALEONTOLOGIE.COQUAND H.1858; IMP.DODIVERS.; 1858, P. 57 A 203Book

PRESENCE DU TERRAIN PERMIEN ET DU REPRESENTANT DU GRES VOSGIEN DANS LE DEPARTEMENT DE SAONE-ET-LOIRE AINSI QUE DANS LA MONTAGNE DE LA SERRE (JURA).COQUAND H.1857; MEM.SOC.EMUL.DOUBS,BESANCON; FRA; 1857, P. 1 A 40Miscellaneous

  • Page / 6