Big BV paper: msg#00009

science.mathematics.frogs

Subject:	Big BV paper

Hello,

the final, and very slightly modified, version of the BV paper is available from <http://www.ki.inf.tu-dresden.de/%7eguglielm/res/pap/SystIntStr.pdf>.

Ciao,

-Alessio

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

Previous by Date:	LPAR-11, Montevideo, Uruguay: first CFP: 00009, Andrei Voronkov
Next by Date:	Wanted: 00009, Alessio Guglielmi
Previous by Thread:	LPAR-11, Montevideo, Uruguay: first CFPi: 00009, Andrei Voronkov
Next by Thread:	Wanted: 00009, Alessio Guglielmi
Indexes:	[Date] [Thread] [Top] [All Lists]