science.mathematics.frogs (date)

science.mathematics.frogs (date)

August 31, 2004

Re: Two more FAQ entries, Charles Stewart
Re: Two more FAQ entries, Alessio Guglielmi
Re: Two more FAQ entries, Lutz Strassburger
Re: Two more FAQ entries, Lutz Strassburger
Re: Deep inference and speed-up in proof search, Alessio Guglielmi
Re: Deep inference and speed-up in proof search, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
Re: Two more FAQ entries, Alessio Guglielmi
Re: Deep inference and speed-up in proof search, Alessio Guglielmi
Re: Two more FAQ entries, Greg Restall

August 30, 2004

Re: Two more FAQ entries, Lutz Strassburger
Re: Deep inference and speed-up in proof search, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw

August 29, 2004

Re: Nondeterminism, Ozan Kahramanogullari

August 28, 2004

Re: Deep inference and speed-up in proof search, Alessio Guglielmi
Two more FAQ entries, Alessio Guglielmi
Re:Wanted, Alessio Guglielmi
Finite choice property, Alessio Guglielmi
Nondeterminism, Alessio Guglielmi

August 26, 2004

Combinatorial proofs, Alessio Guglielmi
Re: Deep inference and speed-up in proof search, Alessio Guglielmi
Wanted, Alessio Guglielmi

August 24, 2004

Big BV paper, Alessio Guglielmi

August 22, 2004

LPAR-11, Montevideo, Uruguay: first CFP, Andrei Voronkov

August 18, 2004

Re: Deep inference and speed-up in proof search, Rajeev Prabhakar Gore

August 16, 2004

Re: Deep inference and speed-up in proof search, Lutz Strassburger

August 14, 2004

Re: Deep inference and speed-up in proof search, Alessio Guglielmi

August 13, 2004

Re: Deep inference and speed-up in proof search, Lutz Strassburger
Re: Deep inference and speed-up in proof search, Alessio Guglielmi
Re: Deep inference and speed-up in proof search, Lutz Strassburger

August 08, 2004

Deep inference and speed-up in proof search, Alessio Guglielmi

August 05, 2004

Workshop in Dresden, 27,28.9, Alessio Guglielmi

News | FAQ | advertise