Re: Frogs and Pigeons

"Kai Brünnler" <[email protected]> Thu, 8 Mar 2007 11:41:30 +0100

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

Dear Giorgi,

for the cut-free system this is an open problem, as far as I know.

Alessio: we could list that on
http://alessio.guglielmi.name/res/cos/crt.html#ComplPrPr .

-Kai