%0 Journal Article %1 journals/corr/abs-2111-10049 %A Ahmed, Muhammad %A Rashid, Adnan %D 2021 %J CoRR %K dblp %T Formalization of Transform Methods in Higher-order Logic: A Survey. %U http://dblp.uni-trier.de/db/journals/corr/corr2111.html#abs-2111-10049 %V abs/2111.10049

@article{journals/corr/abs-2111-10049, added-at = {2024-03-13T00:00:00.000+0100}, author = {Ahmed, Muhammad and Rashid, Adnan}, biburl = {https://www.bibsonomy.org/bibtex/2c6c36a27ee931ebaf66df88c51c5eea5/dblp}, ee = {https://arxiv.org/abs/2111.10049}, interhash = {5a901efc96824f26ac60ce927909e904}, intrahash = {c6c36a27ee931ebaf66df88c51c5eea5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:54:05.000+0200}, title = {Formalization of Transform Methods in Higher-order Logic: A Survey.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2111.html#abs-2111-10049}, volume = {abs/2111.10049}, year = 2021 }