RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Indécidabilité de la condition IRS

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson and Michel Latteux

RAIRO. Inform. théor., 16 2 (1982) 129-138

Published online: 01 February 2017

DOI: 10.1051/ita/1982160201291

Jean-Michel Autebert

Joffroy Beauquier

Luc Boasson

Michel Latteux

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)