Vol-748⫷ Vol-749 ⫸Vol-750
urn:nbn:de:0074-749-0


None⫷None⫸None
Emanuel SallingerReinhard PichlerIngo FeinererVadim Savenkov

On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies