Re: [isabelle] Journal of Automated Reasoning
> So, is JAR the kind of journal I'd object to? Does it use
> copyright law to inhibit the dissemination of knowledge?
It uses copyright, as do most books I have on my shelves. The fact that
this does not inhibit the spread of knowledge was already argued by Larry.
> Does it pay the authors of its articles? Does it pay its
> peer reviewers?
Neither. Please let me know which CS journals do.
This archive was generated by a fusion of
Pipermail (Mailman edition) and