PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Verma, Rakesh M."

Author of the publication

copydeleteadd this publication to your clipboard
Deciding confluence of certain term rewriting systems in polynomial time.

, , and . Ann. Pure Appl. Logic, 130 (1-3): 33-59 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prabal Singh Verma University of Stuttgart

M. Nudischer

M. Kratzer

M. Liewald

M. Fittingho

 

Other publications of authors with the same name

RPO Constraint Solving Is in NP., , and . CSL, volume 1584 of Lecture Notes in Computer Science, page 385-398. Springer, (1998)Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems., and . FSTTCS, volume 8 of LIPIcs, page 284-295. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)A visual and interactive automata theory course emphasizing breadth of automata.. ITiCSE, page 325-329. ACM, (2005)Machine Learning Methods for Software Vulnerability Detection., and . IWSPA@CODASPY, page 31-39. ACM, (2018)Combining Syntax and Semantics for Automatic Extractive Single-Document Summarization., and . CICLing (2), volume 7182 of Lecture Notes in Computer Science, page 366-377. Springer, (2012)Mining the Web for Collocations: IR Models of Term Associations., , , , , , and . CICLing (1), volume 9623 of Lecture Notes in Computer Science, page 177-194. Springer, (2016)University of Houston @ CL-SciSumm 2017: Positional language Models, Structural Correspondence Learning and Textual Entailment., , , and . BIRNDL@SIGIR (2), volume 2002 of CEUR Workshop Proceedings, page 73-85. CEUR-WS.org, (2017)Detecting Phishing Emails the Natural Language Way., , and . ESORICS, volume 7459 of Lecture Notes in Computer Science, page 824-841. Springer, (2012)Automated email Generation for Targeted Attacks using Natural Language., and . CoRR, (2019)Newswire versus Social Media for Disaster Response and Recovery., , , , and . CoRR, (2019)