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

Rewriting
Mathematics

Finite automata
Engineering & Materials Science

Transducers
Engineering & Materials Science

Undecidability
Mathematics

Polynomials
Engineering & Materials Science

Transducer
Mathematics

Term
Mathematics

Formal languages
Engineering & Materials Science

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

## Research Output 2006 2018

## Coinductive foundations of infinitary rewriting and infinitary equational logic

Endrullis, J., Hansen, H. H., Hendriks, D., Polonsky, A. & Silva, A., 10 Jan 2018, In : Logical Methods in Computer Science. 14, 1, p. 1-44 44 p., 3Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

Infinitary Logic

Equational Logic

Rewriting

Term Rewriting

Equational Theory

## 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

Term

Normal Form

Fixed point

Unary

## Undecidability and finite automata

Endrullis, J., Shallit, J. & Smith, T., 2017,*Developments in Language Theory - 21st International Conference, DLT 2017, Proceedings.*Springer/Verlag, Vol. 10396 LNCS, p. 160-172 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS)

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Undecidability

Finite Automata

Finite automata

Rewriting

Decision problem