Greenberg, Michael
3924  Ergebnisse:
Personensuche X
?
 
?
 
?
 
?
13

From SMT to ASP: Solver-Based Approaches to Solving Datalog..:

Bembenek, Aaron ; Greenberg, Michael ; Chong, Stephen
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 185-217 , 2023
 
1-15