The following pages link to Daniel Jackson (Q192238):
Displaying 12 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)
- (Q4417952) (← links)
- (Q4436952) (← links)
- (Q4472224) (← links)
- Theory and Applications of Satisfiability Testing (Q5325867) (← links)
- (Q5714456) (← links)
- Kodkod: A Relational Model Finder (Q5758136) (← links)
- A Nitpick analysis of Mobile IPv6 (Q5938661) (← links)
