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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Term Rewriting Mathematics
Lambda Calculus Mathematics
Transducers Engineering & Materials Science
Calculus Mathematics
Transducer Mathematics
Turing machines Engineering & Materials Science
Term Mathematics
Confluence Mathematics

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

Research Output 1999 2019

L.E.J. Brouwer, fifty years later

van Dalen, D., Jongbloed, G., Klop, J. W. & van Mill, J., 11 Jan 2019, (Accepted/In press) In : Indagationes Mathematicae. p. 1-16 16 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Braids via term rewriting

Endrullis, J. & Klop, J. W., 6 Dec 2018, In : Theoretical Computer Science. p. 1-36 36 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Term Rewriting

Decreasing diagrams with two labels are complete for confluence of countable systems

Endrullis, J., Klop, J. W. & Overbeek, R., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-15 15 p. 14

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Electric commutation

Degrees of Infinite Words, Polynomials and Atoms

Endrullis, J., Karhumäki, J., Klop, J. W. & Saarela, A., Aug 2018, In : International Journal of Foundations of Computer Science. 29, 5, p. 825-843 19 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Turing machines
Equivalence classes

Clocked lambda calculus

Endrullis, J., Hendriks, D., Klop, J. W. & Polonsky, A., 1 Jun 2017, In : Mathematical Structures in Computer Science (MSCS). 27, 5, p. 782-806 25 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Lambda Calculus
Normal Form
Fixed point

Activities 2000 2000

  • 9 Membership
  • 4 Lecture / Presentation
  • 1 Editorial work

Proof systems for cyclic term graphs

J.W. Klop (Speaker)
12 Jun 2000

Activity: Lecture / PresentationAcademic

ACM (External organisation)

J.W. Klop (Member)

Activity: MembershipAcademic

Cyclic term graphs

J.W. Klop (Speaker)
1 Feb 2000

Activity: Lecture / PresentationAcademic

Journal of Logic and Computation (Journal)

F. Kamarreddine (Member of editorial board), J.W. Klop (Member of editorial board)

Activity: Peer review and Editorial workEditorial workAcademic