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 (45)

Journals (0)

1-10 of 45 results for term rewrite systems

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: 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: 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

Select article: Simple and Minimal Ground Term Equation Systems

Retricted access

Research article

First published 1998-12

Simple and Minimal Ground Term Equation Systems

Sándor Vágvölgyi

Fundamenta Informaticae

Select article: Strategies and analysis techniques in functional program optimization

Retricted access

Other

First published 2004-2

Strategies and analysis techniques in functional program optimization

Santiago Escobar

The European Journal on Artificial Intelligence

Select article: A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday

Retricted access

Research article

First published 2010-9

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday

Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina [...]

Fundamenta Informaticae

Select article: A Rewriting Framework for Rule-Based Programming Dynamic Applications

Retricted access

Research article

First published 2006-8

A Rewriting Framework for Rule-Based Programming Dynamic Applications

Anatoliy Doroshenko, Ruslan Shevchenko

Fundamenta Informaticae

Select article: ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS

Retricted access

Research article

First published 1995-8

ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS

Bernhard Gramlich

Fundamenta Informaticae

Select article: Solving Partial Order Constraints for LPO Termination

Open access

Research article

First published 2009-2

Solving Partial Order Constraints for LPO Termination

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation

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

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access