Liye Guo | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Cynthia Kop
14 publications
Deivid Vale
6 publications

research

∙ 07/25/2023

Higher-Order LCTRSs and Their Termination

Logically constrained term rewriting systems (LCTRSs) are a program anal...

0 Liye Guo, et al. ∙

research

∙ 03/23/2023

Analyzing Innermost Runtime Complexity Through Tuple Interpretations

Time complexity in rewriting is naturally understood as the number of st...

0 Liye Guo, et al. ∙