Calculated based on number of publications stored in Pure and citations from Scopus
1986 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 1989

    Priority rewriting: Semantics, confluence, and conditionals

    Mohan, C. K., 1989, Rewriting Techniques and Applications - 3rd International Conference, RTA 1989. Dershowitz, N. (ed.). Springer Verlag, p. 278-291 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 355 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • 1988

    Conditional specifications with inequational assumptions

    Mohan, C. K. & Srivas, M. K., 1988, Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. Kaplan, S. & Jouannaud, J-P. (eds.). Springer Verlag, p. 161-178 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 308 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 1987

    Reasoning in systems of equations and inequations

    Mohan, C. K., Srivas, M. K. & Kapur, D., 1987, Foundations of Software Technology and Theoretical Computer Science - 7th Conference, Proceedings. Nori, K. V. (ed.). Springer Verlag, p. 305-325 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 287 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 1986

    Function definitions in term rewriting and applicative programming

    Mohan, C. K. & Srivas, M. K., Dec 1986, In: Information and Control. 71, 3, p. 186-217 32 p.

    Research output: Contribution to journalArticlepeer-review

    3 Scopus citations