Sur une méthode de définition formelle des langages algorithmiques

Cherton, Claude

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

Sur une méthode de définition formelle des langages algorithmiques

par Cherton, Claude

Promoteur Louchard, Guy

Publication Non publié, 1970

Thèse de doctorat

Titre:	Sur une méthode de définition formelle des langages algorithmiques
Auteur:	Cherton, Claude
Promoteur:	Louchard, Guy
Informations sur la publication:	Université libre de Bruxelles, Faculté des sciences, Bruxelles
Date de défense:	1970
Sujet CREF:	Sciences exactes et naturelles
Volumes/pages:	1 v.
Intitulé du diplôme:	Doctorat en Sciences
Langue:	Français
Anneé académique:	1969-1970
Identificateurs:	ulbcat.ulb.ac.be:34112

Documents en relation

DI-fusion

Sea level change and nitrogen fixation dynamics in the Atlantic over glacial cycles
par Auderset, Alexandra , Fripiat, François , Creel, Roger , Oesch, Lucas , Studer, A. S. , Repschläger, Janne , Hadtorne, E , Vonhof, Hubert , Schiebel, Ralf , Lawrence, Kira , Gordon, Laura , Ren, Haojia Abby , Haug, Gerald H. , Sigman, Daniel D.M. , Martínez-García, Alfredo
Publication 2024-12-12
Knowns and Unknowns on Bering Strait Relative Sea Level and Cordilleran Ice Sheet Size across Marine Isotope Stage 3 (MIS 3)
par Pico, Tamara , Farmer, Jesse , Underwood, Ona M , Cleveland Stout, Rebecca , Granger, Julie , Cronin, Thomas T.M. , Fripiat, François , Martínez-García, Alfredo , Haug, Gerald H. , Sigman, Daniel D.M. , Kodame, S , Vigilia, C , Robel, A
Publication 2024-12-11
Progressive declines in Pacific Antarctic Zone upwelling intensity during each glaciation of the last 460 ka
par Ai, X. E. , Sigman, Daniel D.M. , Martínez-García, Alfredo , Studer, A. S. , Fripiat, François , Lamy, Frank , Schmitt, Mareike , Oleynik, Sergey , Haug, Gerald H.
Publication 2024-12-09
Ice age and deglacial stratification of the polar Antarctic Zone
par Fripiat, François , Sigman, Daniel M , Ai, X. E. , Dumoulin, Cédric , Moretti, Simone , Studer, A. S. , Dieckmann, Bernard , Esper, Oliver , Frederichs, Thomas , Lamy, Frank , Liu, Ling , Pattyn, Frank , Schmitt, Mareike , Tiedemann, Ralph , Haug, Gerald H. , Martínez-García, Alfredo
Publication 2024-12-09
Assessing anthropogenic impacts on marine turtle nesting in Martinique: a crucial step towards conservation
par Vanleynseele, Chloé , Fournier, Denis , De Montgolfier, Benjamin
Publication 2024-12-09

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.