Skip to Content

Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3

Posted on

Authors:

  • Brogni, Anthony
  • Joosten, Sebastiaan J.

Published in: arXiv preprint arXiv:2308.02513

Paper

BibTeX entry:

@article{brogni2023translating,
 author = {Brogni, Anthony and Joosten, Sebastiaan JC},
 eprint = {2308.02513},
 journal = {arXiv preprint arXiv:2308.02513},
 month = {7},
 title = {Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3},
 year = {2023}
}