The following pages link to Daniel Jackson (Q192238):
Displaying 6 items.
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- (Q2722045) (← links)
- (Q2763957) (← links)
- Computer Generated Images for Quadratic Rational Maps with a Periodic Critical Point (Q3106133) (← links)
- Invariant curves for birational surface maps (Q3425966) (← links)
- Theory and Applications of Satisfiability Testing (Q5325867) (← links)
