Effiziente Reduktionsstrategien in Termersetzungssystemen

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 242-253
https://doi.org/10.1007/978-3-642-71385-9_25

Abstract

No abstract available

Keywords

EFFIZIENTE REDUKTIONSSTRATEGIEN

This publication has 2 references indexed in Scilit:

Reductions in tree replacement systems
Theoretical Computer Science, 1985
Some reduction strategies for algebraic term rewriting
ACM SIGSAM Bulletin, 1982