19992019
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.

Term Rewriting Mathematics
Rewriting Mathematics
Projection Mathematics
Term Rewriting Systems Mathematics
Calculus Mathematics
First-order Mathematics
Lambda Calculus Mathematics
Equivalence Mathematics

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

Research Output 1999 2019

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

Rewriting
Projection
Term Rewriting
Term
Contraction

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
Rewriting
Projection
Computer science
Term Rewriting
Term

Algorithmic Term Rewriting Systems

Isihara, A., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

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

Termination and Productivity

Endrullis, J., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Activities 2000 2000

  • 1 Lecture / Presentation

Calculus of contexts

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

Activity: Lecture / PresentationAcademic