Login / Signup
Anthony Brogni
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Relation Algebra
Expressive Power
Deductive Databases
Top Venues
CoRR
</>
Publications
</>
Anthony Brogni
,
Sebastiaan J. C. Joosten
Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3.
CoRR
(2023)