drs. 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

Confluence of the Chinese Monoid

Endrullis, J. & Klop, J. W., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Confluence
Monoid
Monoids
Diagram
Rewriting

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