Innermost many-sorted term rewriting on GPUs.

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

Published in: Sci. Comput. Program. (2023)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
general purpose
graphics processing units
parallel programming
graphics hardware
artificial intelligence
computational power
parallel processing
cloud computing
life cycle
inference rules