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.
Artificial Intelligence and Computational Intelligence.
Vol. 7002,
Issue. ,
p.
171.
Wang, Xiaodong
and
Tian, Jun
2011.
An algorithm for constructing accurate implication sets.
p.
216.
Wang, Xiaodong
and
Zhu, Daxin
2011.
Advances in Information Technology and Education.
Vol. 201,
Issue. ,
p.
87.
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.
Schiller, Lukas Immanuel
2020.
Trends in Functional Programming.
Vol. 12222,
Issue. ,
p.
229.
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,
Young, David
Grebe, Mark
and
Gill, Andy
2021.
Practical Aspects of Declarative Languages.
Vol. 12548,
Issue. ,
p.
20.
Pitzer, Erik
and
Affenzeller, Michael
2021.
Cheating Like The Neighbors: Logarithmic Complexity For Fitness Evaluation In Genetic Algorithms.
p.
1431.
Bocu, Razvan
and
Bocu, Dorin
2022.
Advanced Information Networking and Applications.
Vol. 449,
Issue. ,
p.
116.