Multi-Threaded AC Term Rewriting.

Reinhard Bündgen Manfred Göbel Wolfgang Küchlin

Published in: PASCO (1994)

Keyphrases

multi threaded
term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
operating system
computer architecture
information flow
multi core processors
multithreading
real time
machine learning
first order logic
computer systems
computational power
software engineering
databases