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:
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
L. Boasson (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
L. Boasson, A. Petit (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
A. Terlutte (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Joffroy Beauquier (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J. Gabarro (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J.-M. Autebert, L. Boasson, G. Sénizergues (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: