Community Profile

photo

Jos Martin


Last seen: 2 years ago Active since 2010

Followers: 0   Following: 0

Message

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

Statistics

  • First Submission

View badges

Feeds

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.

14 years ago | 1 download |

Thumbnail