Discover open access scientific publications

Search, annotate, share and cite publications

Publications by H. J. Sander Bruggink

Termination of Cycle Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Related publications

Termination of Isabelle Functions via Termination of Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Termination of Rewriting Under Strategies

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2009English

Matrix Interpretations for Proving Termination of Term Rewriting

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

Rewriting the History of Science

Nature
Multidisciplinary
1992English

Rewriting the Torah

2007English

Rewriting Queries Using Views

2018English

Termination and Non-Termination Specification Inference

ACM SIGPLAN Notices
Computer Science
2015English

Confluence of Curried Term-Rewriting Systems

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

Introducing Abstractions via Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy