共 50 条
- [4] Non-deterministic computation and the Jayne-Rogers Theorem [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (143): : 87 - 96
- [6] A new proof of the New Intersection Theorem [J]. JOURNAL OF ALGEBRA, 2009, 322 (09) : 3366 - 3372
- [7] A new proof of a theorem of Magnus [J]. CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1997, 40 (03): : 352 - 355
- [10] A NEW PROOF OF A THEOREM OF VANDERCORPUT [J]. BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 1989, 21 : 366 - 368