Report - INFORMATIQUE THÉORIQUE ET APPLICATIONSarchive.numdam.org/article/ITA_1994__28_3-4_277_0.pdf · 278 i. SIMON In 1987 H. Leung [4, 5] published an algorithm to décide the same problem

Please pass captcha verification before submit form