Term Rewriting on GPUs.

Johri van Eerd Jan Friso Groote Pieter Hijma Jan Martens Anton Wijs

Published in: CoRR (2020)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
general purpose
knuth bendix
graphics processing units
parallel processing
parallel programming
graphics hardware
knowledge representation
data model
real time
inference rules
mental states
bayesian networks