[SeqFan] Re: Language Of Cacti

Antti Karttunen Antti.Karttunen at iki.fi
Sat Dec 18 02:43:53 CET 2004


Note: the URL Jon gave doesn't work.
I guess this one was intended:
http://stderr.org/pipermail/inquiry/2004-December/002135.html

-- Antti

Jon Awbrey wrote:

>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>Seq Fans,
>
>I have written out a more or less coherent treatise
>on a formal language called the "cactus language" that
>admits of interpretation for propositional logic purposes,
>and whose well-formed expressions correspond to a family of
>graphs called "painted and rooted cacti" (PARC's).  There may
>be some novel sorts of enumerative problems in this area,
>inasmuch as one could count cacti that have specified
>logical properties as one of their parameters.
>
>Here is a link to the expository egress:
>
>LOC.  http://stderr.org/pipermail/inquiry/2004-December/thread.html#2135
>
>I would be happy to respond to any questions,
>on or off list as the occasion may warrant.
>
>Jon Awbrey
>
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>inquiry e-lab: http://stderr.org/pipermail/inquiry/
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>
>
>  
>






More information about the SeqFan mailing list