Login / Signup

From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory.

Valentin BlotGilles DowekThomas TraversiéThéo Winterhalter
Published in: CoRR (2024)
Keyphrases
  • rewrite rules
  • rewriting rules
  • building blocks
  • first order logic
  • complex queries
  • transformation rules