V. R. Sathiyanarayana
- Positive Almost-Sure Termination -- Complexity and Proof Rules
2023/10/24 by Rupak Majumdar, Majumdar, Rupak, V. R. Sathiyanarayana +1 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)