Une généralisation du théorème d'omission des types dans les algèbres polyadiques
Georges Georgescu (1982)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Modèles non déterministes de types abstraits”
Une généralisation du théorème d'omission des types dans les algèbres polyadiques
Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques
Pierre Lescanne (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Algèbres effectives dans la programmation logique avec contraintes
G. Blanc, N. Bleuzen-Guernalec (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sur les ensembles linéaires
Michel Latteux (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Structures algébriques suggérées par la logique mathématique
Maurice l'Abbé (1958)
Bulletin de la Société Mathématique de France
Similarity:
Travaux récents sur les algèbres universelles
Maurice Crestey (1965-1966)
Séminaire Dubreil. Algèbre et théorie des nombres
Similarity:
Construction, évaluation et amélioration systématiques de structures de données
Jean-Luc Rémy (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: