Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux. Indécidabilité de la Condition IRS. ITA, 16(2):129-138, 1982.
@article{AutebertBBL82,
title = {Indécidabilité de la Condition IRS},
author = {Jean-Michel Autebert and Joffroy Beauquier and Luc Boasson and Michel Latteux},
year = {1982},
researchr = {https://researchr.org/publication/AutebertBBL82},
cites = {0},
citedby = {0},
journal = {ITA},
volume = {16},
number = {2},
pages = {129-138},
}