Indécidabilité de la Condition IRS

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux. Indécidabilité de la Condition IRS. ITA, 16(2):129-138, 1982.

Abstract

Abstract is missing.