Community Profile

photo

Jos Martin


The MathWorks Ltd.

1 total contributions since 2010

Jos is currently the Principal Architect for Parallel Computing products at The MathWorks.

Contact

Contributions in
View by

Submitted


The complexity of positive first-order logic without equality: The four-element case
Code to verify the claims made in the paper of the same name.

9 years ago | 0 downloads |

Thumbnail