Anthony Brogni

Orcid: 0009-0004-0088-9679

According to our database¹, Anthony Brogni authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

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

[DOI]

Fundam. Informaticae, 2024

2023

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

[DOI]

CoRR, 2023