No photo of R.C. Vrijer, de

dr. R.C. de Vrijer

    19992019

    Research output per year

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

    Personal profile

    Ancillary activities

    No ancillary activities

    Ancillary activities are updated daily

    Fingerprint Dive into the research topics where R.C. de Vrijer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Projections for infinitary rewriting (extended version)

    Lombardi, C., Ríos, A. & de Vrijer, R., 16 Aug 2019, In : Theoretical Computer Science. 781, p. 92-110 19 p.

    Research output: Contribution to JournalArticleAcademicpeer-review

  • Projections for Infinitary Rewriting

    Lombardi, C., Ríos, A. & de Vrijer, R., 11 Jun 2017, In : Electronic Notes in Theoretical Computer Science. 332, p. 131-148 18 p.

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
  • Local Termination: theory and practice

    Endrullis, J., de Vrijer, R. C. & Waldmann, J., 2010, In : Logical Methods in Computer Science. 6, 3

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
    File
    159 Downloads (Pure)

    Local Termination

    Endrullis, J., de Vrijer, R. C. & Waldmann, J., 2009, In : Lecture Notes in Computer Science. 5595, p. 270-284

    Research output: Contribution to JournalArticleAcademicpeer-review

    Proving Infinitary Normalization

    Endrullis, J., Grabmayer, C. A., Hendriks, R. D. A., Klop, J. W. & de Vrijer, R. C., 2009, In : Lecture Notes in Computer Science. 5497, p. 64-82

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
    File
    152 Downloads (Pure)

    Activities

    • 1 Lecture / Presentation

    Calculus of contexts

    R.C. de Vrijer (Speaker)
    1 Feb 2000

    Activity: Lecture / PresentationAcademic