Keyword:transform method

Papers
Formalization of Transform Methods in Higher-Order Logic: a Survey Muhammad Ahmed and Adnan Rashid EasyChair Preprint no. 8009