A parallel implementation of rewriting and narrowing

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 569-573
https://doi.org/10.1007/3-540-51081-8_140

Abstract

No abstract available

Keywords

PARALLEL IMPLEMENTATION

This publication has 6 references indexed in Scilit:

An implementation of narrowing
The Journal of Logic Programming, 1989
Concurrent term rewriting as a model of computation
Published by Springer Nature ,1987
Improving basic narrowing techniques
Published by Springer Nature ,1987
Concurrent Prolog: A Progress Report
Computer, 1986
The average height of binary trees and other simple trees
Journal of Computer and System Sciences, 1982
Canonical Forms and Unification.
Published by Defense Technical Information Center (DTIC) ,1980