A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “term rewriting” 1

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
2026 RWTH Publications (RWTH Aachen) book-chapter Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Henri Nagel, A. Schlecht, Jürgen Giesl

0

citations

1 result