science.mathematics.frogs (thread)

Preprint announcement, Yves Guiraud
Structures and Deduction Workshop 2nd cfp - ICALP'05 Satellite, Paola Bruscoli
Wires and pipes, Alessio Guglielmi
- Re: Wires and pipes, Lutz Strassburger
  - Re: Wires and pipes, Alessio Guglielmi
    - Re: Wires and pipes, Lutz Strassburger
    - Re: Wires and pipes, Alessio Guglielmi
Bureaucracy and identity, Alessio Guglielmi
- Re: Bureaucracy and identity, Lutz Strassburger
  - Re: Bureaucracy and identity, Alessio Guglielmi
    - Re: Bureaucracy and identity, Lutz Strassburger
    - Re: Bureaucracy and identity, Alessio Guglielmi
- Re: Bureaucracy and identity, Stéphane Lengrand
  - Re: Bureaucracy and identity, Alessio Guglielmi
- Re: Bureaucracy and identity, Stéphane Lengrand
question on formalism B, Lutz Strassburger
- Re:question on formalism B, Alessio Guglielmi
some news on predicate logic, Kai Brünnler
Logical equivalence in BV, Alwen Tiu
A 3-dimensional proof, Yves Guiraud
Re: double switch, Kai Brünnler
- Re: double switch, Jon Cohen
  - Re: double switch, Kai Brünnler
Re: Current research topics update, Yves Guiraud