Margenstern, Maurice.
Maurice Margenstern
VIAF ID: 64043495 (Personal)
Permalink: http://viaf.org/viaf/64043495
Preferred Forms
- 200 _ | ‡a Margenstern ‡b Maurice
- 100 1 _ ‡a Margenstern, Maurice
-
-
- 100 1 _ ‡a Margenstern, Maurice
-
-
- 100 1 _ ‡a Margenstern, Maurice
- 100 1 0 ‡a Margenstern, Maurice
-
-
-
- 100 0 _ ‡a Maurice Margenstern
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Actes de MCU / UMC'95 : Paris, 29,30 et 31 mars 1995, Institut Blaise Pascal | |
Actes de MCU'98 Metz, 23-27 mars 1998, IUT de Metz, Île du Saulcy | |
Actes des JAF 13 | |
Assemblage modélisation, programmation, 80X86 | |
AVIZIENIS NOMBER SYSTEM AND ON-LINE FUNCTIONS COMPUTABLE BY SEQUENTIAL MACHINES. | |
Cellular automata in hyperbolic spaces | |
Certifying formal reasoning about critical information systems. | |
Contribution de la classification automatique à la fouille de données | |
Contributions to haptic information dissemination in a multimodal environment. | |
Deux circuits ferroviaires un circuit universel et un circuit NP-difficile | |
Excat exponential time algorithms for NP-hard problems : domination, variants and generalizations. | |
Generating all recursively enumerable languages with a time-varying distributed H-systems [sic] of degree 2 | |
Implementation and computations | |
Introduction à l'analyse constructive selon A.A. Markov : séminaire donné à Orsay en février 1972 | |
Langage PASCAL et logique du premier ordre | |
Machines, computations, and universality : third international conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001 : proceedings | |
MCU 2001 | |
NOMBRES REELS EN REPRESENTATION D'AVIZIENIS ET FONCTIONS CALCULABLES EN LIGNE PAR DES MACHINES SEQUENTIELLES | |
Pedagogical formal and functional systems. | |
Proceedings of MCU'98 | |
Programmation en PASCAL, prédicats, systèmes formels, fonctions récursives | |
Proprietes topologiques constructives des espaces de fonctions presque periodiques | |
Récursivité et dérécursification, preuves et complexité d'algorithmes | |
Rêve d'euclide : promenades en géométrie hyperbolique | |
Séminaire 1968-69 | |
Sur une extension simple du calcul intuitionniste des predicats du premier ordre appliquée a l'analyse | |
Systèmes de Head et applications à la bio-informatique | |
Systèmes formels et systèmes fonctionnels pédagogiques | |
Table des nombres premiers inférieurs à un million | |
théorèmes d'incomplétude de Gödel | |
Theory |