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 MHonArc.