Research Output per year

## 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 Journal › Article › Academic › peer-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 Journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 Journal › Article › Academic › peer-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 Journal › Article › Academic › peer-review

Lambda Calculus

Calculus

Term

Normal Form

Fixed point

## Activities 2000 2000

## Proof systems for cyclic term graphs

J.W. Klop (Speaker)12 Jun 2000

Activity: Lecture / Presentation › Academic

## NVTI (Nederlandse Vereniging voor Theoretische Inf (External organisation)

J.W. Klop (Member)2000

Activity: Membership › Academic

## 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 work › Editorial work › Academic