Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jörg Endrullis

Degrees of Infinite Words, Polynomials and Atoms

International Journal of Foundations of Computer Science

Computer Science

English

Matrix Interpretations for Proving Termination of Term Rewriting

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English