Non-determinsitic algebraic rewriting as adjunction.

Razvan Diaconescu

Published in: CoRR (2022)

Keyphrases

rewrite rules
higher order
query rewriting
termination analysis
expert systems
rewriting rules
presburger arithmetic
response time
algebraic structure
algebraic geometry
algebraic curves
data mining
machine learning
search engine
mathematical theory
rewriting systems