Jan Willem Klop

prof. dr.

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 Jan Willem Klop is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 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
Braid
Notation
Diamonds
Diagram

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

Labels
Electric commutation
Labeling

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

Transducers
Polynomials
Atoms
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
Calculus
Term
Normal Form
Fixed point

Activities 2000 2000

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

Journal of Logic and Computation (Journal)

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

Activity: Peer review and Editorial workEditorial workAcademic

Katholieke Universiteit Nijmegen (External organisation)

J.W. Klop (Member)
2000

Activity: MembershipAcademic

IFIP (External organisation)

J.W. Klop (Member)
2000

Activity: MembershipAcademic

ACM (External organisation)

J.W. Klop (Member)
2000

Activity: MembershipAcademic