Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Gibbons, Jeremy
2020.
Formal Methods. FM 2019 International Workshops.
Vol. 12233,
Issue. ,
p.
35.
BIRD, RICHARD S.
2020.
An optimal, purely functional implementation of the Garsia–Wachs algorithm.
Journal of Functional Programming,
Vol. 30,
Issue. ,
BREDE, NURIA
and
BOTTA, NICOLA
2021.
On the correctness of monadic backward induction.
Journal of Functional Programming,
Vol. 31,
Issue. ,
Farzanullah, Mohammad
Vu, Hung V.
and
Le-Ngoc, Tho
2022.
Deep Reinforcement Learning for Joint User Association and Resource Allocation in Factory Automation.
p.
2059.
Sun, Yican
Peng, Xuanyu
and
Xiong, Yingfei
2023.
Synthesizing Efficient Memoization Algorithms.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. OOPSLA2,
p.
89.
Dutta, Anurag
Ray, Samrat
Korchagina, Elena V.
Druzhinin, Andrey
and
Dmitriev, Nikolay D.
2023.
Plexus Search – A Search Enumeration.
p.
1.
JANSSON, JULIA
and
JANSSON, PATRIK
2023.
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials.
Journal of Functional Programming,
Vol. 33,
Issue. ,