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.

- 2 Similar Profiles

Finite automata
Engineering & Materials Science

Rewriting
Mathematics

Undecidability
Mathematics

Transducer
Mathematics

Term
Mathematics

Transducers
Engineering & Materials Science

Finite Automata
Mathematics

Normal Form
Mathematics

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

## Research Output 2006 2017

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

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

Undecidability

Finite Automata

Finite automata

Rewriting

Decision problem

## Degrees of infinite words, polynomials and atoms

Endrullis, J., Karhumäki, J., Klop, J. W. & Saarela, A. 2016*Developments in Language Theory - 20th International Conference, DLT 2016, Proceedings.*Springer/Verlag, Vol. 9840, p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9840)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Infinite Words

Transducer

Transducers

Polynomials

Pure mathematics

## Majority digraphs

Lai, T., Endrullis, J. & Moss, L. S. 2016 In : Proceedings of the American Mathematical Society. 144, 9, p. 3701-3715 15 p.Research output: Contribution to journal › Article

Digraph

If and only if

Propositional Logic

Reversal

Assertion

## Non-Termination of cycle rewriting by finite automata

Endrullis, J. 10 Sep 2016 In : Electronic Proceedings in Theoretical Computer Science. 225, p. 3-4 2 p.Research output: Contribution to journal › Article