Marcel Hark
- Termination of Triangular Polynomial Loops
2019/10/25 by Marcel Hark, Hark, Marcel, Florian Frohn +3 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #graph theory and CDMA systems