Kop, Cynthia

1. Quasi-reductivity of Logically Constrained Term Rewriting Systems
   2017/02/08 by Kop, Cynthia · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Verifying Procedural Programs via Constrained Rewriting Induction
   2014/08/30 by Fuhs, Carsten, Kop, Cynthia, Nishida, Naoki · 2 citations
   #D.2.4 #FOS: Computer and information sciences #I.2.3 #Logic in Computer Science (cs.LO)
3. Polynomial Interpretations for Higher-Order Rewriting
   2012/03/26 by Fuhs, Carsten, Kop, Cynthia · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. 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