prof. dr. 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
Confluence Mathematics
Transducers Engineering & Materials Science
Calculus Mathematics
Transducer Mathematics
Turing machines Engineering & Materials Science
Term Mathematics

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

Research Output 1999 2019

Confluence of the Chinese Monoid

Endrullis, J. & Klop, J. W., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Confluence
Monoid
Monoids
Diagram
Rewriting

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

Activities 2000 2000

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

Cyclic term graphs

J.W. Klop (Speaker)
1 Feb 2000

Activity: Lecture / PresentationAcademic

IPA (External organisation)

J.W. Klop (Member)
2000

Activity: MembershipAcademic

Proof systems for cyclic term graphs

J.W. Klop (Speaker)
12 Jun 2000

Activity: Lecture / PresentationAcademic

Cyclic term graphs

J.W. Klop (Speaker)
18 Jan 2000

Activity: Lecture / PresentationAcademic