Liye Guo | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙