Abhishek De
- A proof theory of right-linear (omega-)grammars via cyclic proofs
2024/01/24 by Anupam Das, Das, Anupam, Abhishek De +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques