J. Endrullis

drs.

20062019
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 Dive into the research topics where J. Endrullis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 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

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

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