Re: Frogs and Pigeons: msg#00001

science.mathematics.frogs

Subject:	Re: Frogs and Pigeons

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

<Prev in Thread]	Current Thread	[Next in Thread>

Previous by Date:	Frogs and Pigeons: 00001, Giorgi Japaridze
Next by Date:	Re: Frogs and Pigeons: 00001, Lutz Strassburger
Previous by Thread:	Frogs and Pigeonsi: 00001, Giorgi Japaridze
Next by Thread:	Re: Frogs and Pigeons: 00001, Lutz Strassburger
Indexes:	[Date] [Thread] [Top] [All Lists]