Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Wang, Xiaodong
and
Zhu, Daxin
2011.
Advances in Information Technology and Education.
Vol. 201,
Issue. ,
p.
87.
Wang, Xiaodong
and
Tian, Jun
2011.
An algorithm for constructing accurate implication sets.
p.
216.
Wang, Xiaodong
and
Zhu, Daxin
2011.
Artificial Intelligence and Computational Intelligence.
Vol. 7002,
Issue. ,
p.
171.
Gill, Andy
Bull, Tristan
Farmer, Andrew
Kimmell, Garrin
and
Komp, Ed
2012.
Types and associated type families for hardware simulation and synthesis.
Higher-Order and Symbolic Computation,
Vol. 25,
Issue. 2-4,
p.
255.
Kilpeläinen, Pekka
2012.
Using XQuery for problem solving.
Software: Practice and Experience,
Vol. 42,
Issue. 12,
p.
1433.
Höner zu Siederdissen, Christian
Hammer, Stefan
Abfalter, Ingrid
Hofacker, Ivo L.
Flamm, Christoph
and
Stadler, Peter F.
2013.
Computational design of RNAs with complex energy landscapes.
Biopolymers,
Vol. 99,
Issue. 12,
p.
1124.
Hinze, Ralf
and
Wu, Nicolas
2013.
Histo- and dynamorphisms revisited.
p.
1.
BIRD, RICHARD S.
2013.
An in-situ algorithm for expanding a graph.
Journal of Functional Programming,
Vol. 23,
Issue. 2,
p.
174.
Schmidt-Schauß, Manfred
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
21.
Stetsyura, G. G.
2015.
Basic interaction mechanisms of active objects in digital systems and possible methods of their technical realization.
Automation and Remote Control,
Vol. 76,
Issue. 4,
p.
689.
Hu, Zhenjiang
Hughes, John
and
Wang, Meng
2015.
How functional programming mattered.
National Science Review,
Vol. 2,
Issue. 3,
p.
349.
Zhu, Daxin
and
Wang, Xiaodong
2017.
Smart Computing and Communication.
Vol. 10135,
Issue. ,
p.
429.
Riello, M.
De Angeli, F.
Evans, D. W.
Busso, G.
Hambly, N. C.
Davidson, M.
Burgess, P. W.
Montegriffo, P.
Osborne, P. J.
Kewley, A.
Carrasco, J. M.
Fabricius, C.
Jordi, C.
Cacciari, C.
van Leeuwen, F.
and
Holland, G.
2018.
Gaia Data Release 2.
Astronomy & Astrophysics,
Vol. 616,
Issue. ,
p.
A3.
Hoare, Tony
Mendes, Alexandra
and
Ferreira, João F.
2019.
Formal Methods Teaching.
Vol. 11758,
Issue. ,
p.
3.
Christiansen, Jan
Dylus, Sandra
and
Bunkenburg, Niels
2019.
Verifying effectful Haskell programs in Coq.
p.
125.
Miranda-Perea, Favio E
González Huesca, Lourdes del Carmen
and
Linares-Arévalo, P Selene
2020.
Interactive proof-search for equational reasoning.
Logic Journal of the IGPL,
Schiller, Lukas Immanuel
2020.
Trends in Functional Programming.
Vol. 12222,
Issue. ,
p.
229.
Pitzer, Erik
and
Affenzeller, Michael
2021.
Cheating Like The Neighbors: Logarithmic Complexity For Fitness Evaluation In Genetic Algorithms.
p.
1431.
Young, David
Grebe, Mark
and
Gill, Andy
2021.
Practical Aspects of Declarative Languages.
Vol. 12548,
Issue. ,
p.
20.
Yang, Zhixuan
and
Wu, Nicolas
2022.
Mathematics of Program Construction.
Vol. 13544,
Issue. ,
p.
222.