Sujet : Re: Termination analyzer defined
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theoryDate : 11. May 2024, 17:36:40
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v1o3a8$nmui$3@i2pn2.org>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
On 5/11/24 12:47 AM, olcott wrote:
I wouldn't think that common terms-art would need any
definition.
So, you don't understand what the term "term of art" actually mean.