Concurrent term rewriting as a model of computation.

Joseph A. Goguen Claude Kirchner José Meseguer

Published in: Graph Reduction (1986)

Keyphrases

artificial intelligence
computational intelligence
computational model
term rewriting
database
databases
high level
probability distribution
management system
em algorithm
dynamic environments
experimental data
agent model