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.

Authors

Jean-Michel Autebert

This author has not been identified. Look up 'Jean-Michel Autebert' in Google

Joffroy Beauquier

This author has not been identified. Look up 'Joffroy Beauquier' in Google

Luc Boasson

This author has not been identified. Look up 'Luc Boasson' in Google

Michel Latteux

This author has not been identified. Look up 'Michel Latteux' in Google