first-order reduction
in computer science, a very strong type of reduction between two computational problems in computational complexity theory
in computer science, a very strong type of reduction between two computational problems in computational complexity theory