Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!csn!boulder!citrin
From: citrin@csn.org (Wayne Citrin)
Newsgroups: comp.lang.prolog
Subject: Re: origin of "arity"
Message-ID: <1991Jun21.191815.27207@colorado.edu>
Date: 21 Jun 91 19:18:15 GMT
References: <1991Jun21.200810.1@csc.anu.edu.au> <1991Jun21.173147.27862@twinsun.com>
Sender: news@colorado.edu (The Daily Planet)
Organization: University of Colorado, Boulder
Lines: 20
Nntp-Posting-Host: soglio.colorado.edu

In article <1991Jun21.173147.27862@twinsun.com> eggert@twinsun.com (Paul Eggert) writes:
>ada612@csc.anu.edu.au writes:
>
>>Philologically, I guess the next step would be finding the first
>>attestation.  The date to beat seems to be 1979 (Boyer and Moore),
>>from ROK's posting.
>
>A nit: ROK cited the 1988 ``A Computational Logic Handbook'',
>not the 1979 ``A Computational Logic''.

I find a use of the term "arity" in Stanat and McAllister, "Discrete Mathematics
in Computer Science" (Prentice-Hall, 1977).

Wayne

-- 

Wayne Citrin
citrin@soglio.colorado.edu
citrin@boulder.colorado.edu