Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3
Authors:
- Brogni, Anthony
- Joosten, Sebastiaan J.
Published in: arXiv preprint arXiv:2308.02513
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}
}