Type Introduction for Equational Rewriting

Acta Informatica- Germany

doi 10.1007/pl00013300

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Nature

Related search

Introduction: Rewriting Decisions From a Perspective of Human Rights Integration

English

Optimizing Equational Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Congruences for Contextual Graph-Rewriting

BRICS Report Series
2004English

Decision Problems for Equational Theories of Relation Algebras

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
1997English

Context Term Calculus for Rewriting Systems

PROBLEMS IN PROGRAMMING
2018English

Equational Binary Decision Diagrams

English

Higher-Order Orderings for Normal Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

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

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

Privacy PolicyRefund Policy