Community Profile

Jos Martin

The MathWorks Ltd.

1 total contributions since 2010

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


Contributions in
View by


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.

8 years ago | 0 downloads |