You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (91)

Journals (0)

1-10 of 91 results for Term Rewriting

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Congruences Generated by Extended Ground Term Rewrite Systems

Retricted access

Research article

First published 2009-9

Congruences Generated by Extended Ground Term Rewrite Systems

Sándor Vágvölgyi

Fundamenta Informaticae

Select article: On Complexity Bounds and Confluence of Parallel Term Rewriting *

Retricted access

Research article

First published 2024-09-12

On Complexity Bounds and Confluence of Parallel Term Rewriting *

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

Fundamenta Informaticae

Select article: A Query Language Based on Term Matching and Rewriting

Retricted access

Research article

First published 2019

A Query Language Based on Term Matching and Rewriting

Bartosz Zieliński

Fundamenta Informaticae

Select article: Applying term rewriting to partial algebra theory

Retricted access

Research article

First published 2004-12

Applying term rewriting to partial algebra theory

Norbert Dojer

Fundamenta Informaticae

Select article: Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving

Retricted access

Research article

First published 1999-8

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving

Stéphane Fèvre, Dongming Wang

Fundamenta Informaticae

Select article: Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems

Retricted access

Research article

First published 2009-5

Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems

Rakesh Verma

Fundamenta Informaticae

Select article: EQUATIONAL TERM GRAPH REWRITING

Retricted access

Research article

First published 1996-7

EQUATIONAL TERM GRAPH REWRITING

Zena M. Ariola, Jan Willem Klop

Fundamenta Informaticae

Select article: RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS

Retricted access

Research article

First published 1996-5

RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS

Steffen van Bakel

Fundamenta Informaticae

Select article: TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING

Retricted access

Research article

First published 1995-8

TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING

H. Zantema

Fundamenta Informaticae

Select article: A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata

Retricted access

Research article

First published 1990

A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata

Z. Fülop, S. Vágvölgyi

Fundamenta Informaticae

1
2
3
•••
10
10 / page

Article type

Publication date

Subjects

Access