Homological Computations for Term Rewriting Systems.

Philippe Malbos Samuel Mimram

Published in: FSCD (2016)

Keyphrases

term rewriting systems
functional programs
logic programs
betti numbers
database
knowledge base
general purpose