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.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Kilpeläinen, Pekka
                                                  2012.
                                                  Using XQuery for problem solving.
                                                  
                                                  
                                                  Software: Practice and Experience, 
                                                  Vol. 42, 
                                                  Issue. 12, 
                                                
                                                    p. 
                                                    1433.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    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.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    BIRD, RICHARD S.
                                                  2013.
                                                  An in-situ algorithm for expanding a graph.
                                                  
                                                  
                                                  Journal of Functional Programming, 
                                                  Vol. 23, 
                                                  Issue. 2, 
                                                
                                                    p. 
                                                    174.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    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.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Schmidt-Schauß, Manfred
                                                  2014.
                                                  Rewriting and Typed Lambda Calculi.
                                                  
                                                  
                                                  
                                                  Vol. 8560, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    21.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hu, Zhenjiang
                                                    
                                                    Hughes, John
                                                     and 
                                                    Wang, Meng
                                                  2015.
                                                  How functional programming mattered.
                                                  
                                                  
                                                  National Science Review, 
                                                  Vol. 2, 
                                                  Issue. 3, 
                                                
                                                    p. 
                                                    349.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                  2015.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    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.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    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.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Christiansen, Jan
                                                    
                                                    Dylus, Sandra
                                                     and 
                                                    Bunkenburg, Niels
                                                  2019.
                                                  Verifying effectful Haskell programs in Coq.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    125.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hoare, Tony
                                                    
                                                    Mendes, Alexandra
                                                     and 
                                                    Ferreira, João F.
                                                  2019.
                                                  Formal Methods Teaching.
                                                  
                                                  
                                                  
                                                  Vol. 11758, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    3.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    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.