P. Madhusudan
- Learning Universally Quantified Invariants of Linear Data Structures
2013/02/09 by Pranav Garg, Garg, Pranav, Christof Löding +5 · 1 citation
Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Programming Languages (cs.PL) #semigroups and automata theory
- A First-Order Logic with Frames
2019/01/25 by Adithya Murali, Lucas Peña, Murali, Adithya +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques #Software Engineering Research