Jos Martin
Followers: 0 Following: 0
Jos is currently the Principal Architect for Parallel Computing products at The MathWorks.
Statistics
1 File
RANK
N/A
of 290,051
REPUTATION
N/A
CONTRIBUTIONS
0 Questions
0 Answers
ANSWER ACCEPTANCE
0.00%
VOTES RECEIVED
0
RANK
10,506 of 19,630
REPUTATION
50
AVERAGE RATING
0.00
CONTRIBUTIONS
1 File
DOWNLOADS
1
ALL TIME DOWNLOADS
507
RANK
of 144,437
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
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 |