Type Introduction for Equational Rewriting

Acta Informatica - Germany
doi 10.1007/pl00013300
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Nature

Related search

Introduction: Rewriting Decisions From a Perspective of Human Rights Integration

English

Reducing Equational Theories for the Decision of Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Congruences for Contextual Graph-Rewriting

BRICS Report Series
2004English

Optimizing Equational Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Context Term Calculus for Rewriting Systems

PROBLEMS IN PROGRAMMING
2018English

Decision Problems for Equational Theories of Relation Algebras

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
1997English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Simplification Orders for Term Graph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Feasible Trace Reconstruction for Rewriting Approximations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy