a) L - R is nothing but L ∩ R'
So here L belongs to DCFL and R belongs to regular class..
Hence L ∩ R' means DCFL ∩ (Regular)' which is regular DCFL only without loss of any generality..Actually this property is treated actually which is also known as "regular difference"..And DCFL is closed actually under this property..
So the resultant language is also DCFL for sure..
Hence the property is decidable as it is not the case that the resultant language may be a DCFL or may not ..
b) According to reducibility problem , X --> Y if we consider hard problem then if X is known then Y is known so non RE is under the category of hard problem..So if X is non RE then Y is non RE but reverse way we cannot conclude..
Hence II) is undecidable and III) is decidable..