Cynthia Kop
- Verifying Procedural Programs via Constrained Rewriting Induction
2014/08/30 by Carsten Fuhs, Cynthia Kop, Fuhs, Carsten +3 · 2 citations
Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.3 #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
- Termination of LCTRSs
2016/01/13 by Cynthia Kop, Kop, Cynthia · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques #Semantic Web and Ontologies