Equality and fixpoints in the calculus of structures
- Kaustuv Chaudhuri
- , Nicolas Guenot
- Inria
- Computer Science Laboratory of the École polytechnique
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review