Login / Signup

Kleene algebra modulo theories: a framework for concrete KATs.

Michael GreenbergRyan BeckettEric Hayden Campbell
Published in: PLDI (2022)
Keyphrases
  • modulo theories
  • artificial intelligence
  • database
  • relational databases
  • query language