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 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
Finite automata Engineering & Materials Science
Transducers Engineering & Materials Science
Rewriting Mathematics
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

  • 24 Article
  • 18 Conference contribution
  • 1 Report
  • 1 PhD Thesis - Research VU, graduation VU

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
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 proceedingConference contributionAcademicpeer-review

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 proceedingConference contributionAcademicpeer-review

Infinite Words
Transducer
Transducers
Polynomials
Pure mathematics