I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Polynomial invariant generation for non-deterministic recur..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Chatterjee, Krishnendu ; Fu, Hongfei ; Goharshady, Amir Kafshdar. - p. 672-687 , 2020
Link: https://dl.acm.org/doi/10.1145/3385412.3385969