Indécidabilité de la condition IRS
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Serge Grigorieff (1982)
Publications du Département de mathématiques (Lyon)
Similarity:
Michel Latteux (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J. E. Pin (1984)
Publications du Département de mathématiques (Lyon)
Similarity:
J. M. Autebert, J. Beauquier, L. Boasson, M. Nivat (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Michèle Soria (1983)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean Friant (1967)
Annales de l'I.H.P. Probabilités et statistiques
Similarity:
J. Gabarro (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean-Louis Krivine (1974)
Fundamenta Mathematicae
Similarity: