From

Institution

Field

Type

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

Reset

Papers matching “term rewriting” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
2025 Logical Methods in Computer Science article Computer Science Logic, programming, and type systems Open access

Franz Baader, Jürgen Giesl

0

citations
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
2025 Logical Methods in Computer Science article Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

0

citations
The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting
2026 Science of Computer Programming article Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

0

citations
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Retrieval-Extinction and Relapse Prevention: Rewriting Maladaptive Drug Memories?
2020 Frontiers in Behavioral Neuroscience article Neuroscience Memory and Neural Mechanisms Open access

Eloise J. Kuijer, Antonio Ferragud, Amy L. Milton

22

citations
Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
2025 ACM SIGLOG News article Computer Science Logic, programming, and type systems

Emma Ahrens, Jan-Christoph Kassing

0

citations
Phase‐Change and Ovonic Materials (Fourth Edition)
2023 physica status solidi (RRL) - Rapid Research Letters article Materials Science Phase-change materials and chalcogenides Open access

Pierre Noé, Bart Jan Kooi, Matthias Wuttig

1

citations
Vom Nationalsozialisten zum Hitler-Erklärer: Die autobiografischen Umdeutungen des Psychiaters Johann Recktenwald (1882–1964)
2022 Fortschritte der Neurologie · Psychiatrie article Social Sciences History, Medicine, and Leadership

Dominik Groß, Mathias Schmidt, Pascal Engels, Stéphanie Kaiser

0

citations
EXCELLERATP2 D3.2 First Updated Report on Exa-Enabling Methodologies
2026 Zenodo (CERN European Organization for Nuclear Research) article Engineering Computational Fluid Dynamics and Aerodynamics Open access

Ansgar Niemöller, Matthias H. Meinke, Joeffrey Legaux, Mohamed Ibrahim Ghenai, Michael Wagner, Tufan Arslan, +12 more

0

citations
EXCELLERATP2 D3.2 First Updated Report on Exa-Enabling Methodologies
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access

Ansgar Niemöller, Matthias H. Meinke, Joeffrey Legaux, Mohamed Ibrahim Ghenai, Michael Wagner, Tufan Arslan, +12 more

0

citations

10 results