1 citations · 1 across the 1 of their papers we have counts for
1 paper
Anthony Brogni, Sebastiaan J. C. Joosten
This paper presents the development of a software tool that enables the translation of first-order predicate logic with at most three variables into relation algebra. The tool was…