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

Term Rewriting
Mathematics

Polynomials
Engineering & Materials Science

Finite automata
Engineering & Materials Science

Transducers
Engineering & Materials Science

Undecidability
Mathematics

Productivity
Engineering & Materials Science

Transducer
Mathematics

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

## Research Output 2006 2019

## Syllogistic logic with Most

Endrullis, J. & Moss, L. S., 1 Jun 2019, In : Mathematical Structures in Computer Science. 29, 6, p. 763-782 20 p.Research output: Contribution to Journal › Article › Academic › peer-review

Computability and decidability

Polynomials

Logic

Soundness

Decidability

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

## 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., 3.Research 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