muFP
From MaRDI portal
Software:40359
swMATH28645MaRDI QIDQ40359FDOQ40359
Author name not available (Why is that?)
Cited In (5)
- Parallel algorithms development for programmable devices with application from cryptography
- A formal equational theory for call-by-push-value
- Describing and Optimising Reversible Logic Using a Functional Language
- Proof producing synthesis of arithmetic and cryptographic hardware
- Title not available (Why is that?)
This page was built for software: muFP
