Term Rewriting on GPUs.

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

Published in: FSEN (2021)

Keyphrases

graphics hardware
term rewriting
theorem proving
theorem prover
operational semantics
real time
graphics processing units
rewrite systems
knuth bendix
inference rules
general purpose
bayesian networks
databases
expert systems
email
shared memory