Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
Preprint in arXiv (October 2023)
The most recent citing publications are shown below. View all 18 publications that cite this research output on Dimensions.
Preprint in arXiv (October 2023)
Article in Journal of Algebraic Combinatorics (June 2023)
Book chapter (March 2023)