Merkliste 
 1 Ergebnisse 
 
1

Weighted automata extraction and explanation of recurrent n..:

Wei, Zeming ; Zhang, Xiyue ; Zhang, Yihao.
Journal of Logical and Algebraic Methods in Programming.  136 (2024)  - p. 100907 , 2024