The following pages link to Joseph P. Near (Q2009608):
Displaying 4 items.
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- From Relational Specifications to Logic Programs (Q2883087) (← links)
- Differential Privacy for Databases (Q5158853) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
