Re: [isabelle] Journal of Automated Reasoning



On Sat, 03 Jul 2010 00:13:52 Tobias Nipkow wrote:
> > 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.

Thank you both for your responses.  You've reassured me that the 
situation with JAR is not as bad as it might have been.

> > Does it pay the authors of its articles?  Does it pay its
> > peer reviewers?
> 
> Neither. Please let me know which CS journals do.

I don't know of any.  I was just trying to discover where the 
money from library and individual subscriptions was going.

Tim
<><

Attachment: signature.asc
Description: This is a digitally signed message part.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.