Levent Erkök

From MaRDI portal
Person:2943367

Available identifiers

zbMath Open erkok.leventMaRDI QIDQ2943367

List of research outcomes





PublicationDate of PublicationType
Digit Serial Methods with Applications to Division and Square Root2018-06-27Paper
Recursive monadic bindings2015-09-11Paper
Semantics of value recursion for Monadic Input/Output2003-01-22Paper
Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs)N/APaper

Research outcomes over time

This page was built for person: Levent Erkök

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2943367&oldid=7813834"
Powered by MediaWiki