La fonction d'Ackermann : un nouveau mode de dérécursivation
Page 1
Displaying 1 – 13 of 13
La théorie des fonctions indexées en récursivité
Richard Mijoule (1987)
Archivum Mathematicum
Le problème de l'associativité des monoïdes et le problème des mots pour les demi-groupes ; algèbres partielles et chaînes élémentaires
Dov Tamari (1970/1971)
Séminaire Dubreil. Algèbre et théorie des nombres
Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
René Dujols (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Le théorème de Karp-Myhill comme corollaire du théorème des mariages Divers aspects de la « non-généralisation » du théorème de Karp-Myhill
René Dujols (1977)
Publications du Département de mathématiques (Lyon)
Les modalités de la correction totale
Luis Fariñas Del Cerro (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.
J.Y., Vauzeilles, J. Girard (1984)
Archiv für mathematische Logik und Grundlagenforschung
Limiting recursion and the arithmetic hierarchy
G. Criscuolo, E. Minicozzi, G. Trautteur (1975)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Local normal forms for first-order logic with applications to games and automata.
Schwentick, Thomas, Barthelmann, Klaus (1999)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
R.G. Downey (1987)
Archiv für mathematische Logik und Grundlagenforschung
Locally testable semigroups.
Y. Zalcstein (1972)
Semigroup forum
Logic and -recognizable sets of integers.
Bruyère, Véronique, Hansel, Georges, Michaux, Christian, Villemaire, Roger (1994)
Bulletin of the Belgian Mathematical Society - Simon Stevin
L'universalité des semi-fonctions récursives universelles
R. Mijoule (1984)
Diagrammes
Currently displaying 1 – 13 of 13
Page 1