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:
J. M. Autebert, J. Beauquier, L. Boasson, M. Nivat (1979)
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:
A. Terlutte (1987)
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:
Christiane Frougny (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Michel Latteux (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: