Laurent Regnier

发表

Thomas Ehrhard, Laurent Regnier, L. Regnier, 2008, Theor. Comput. Sci..
Vincent Danos, Hugo Herbelin, Laurent Regnier, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Laurent Regnier, L. Regnier, 1994, Theor. Comput. Sci..
Vincent Danos, Laurent Regnier, L. Regnier, 1989, Arch. Math. Log..
Olivier Laurent, Laurent Regnier, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Pawel Urzyczyn, Laurent Regnier, 2002, ArXiv.
Pasquale Malacaria, Laurent Regnier, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Hugo Herbelin, Laurent Regnier, 1996, LICS 1996.
Thomas Ehrhard, Laurent Regnier, 2005, Electron. Notes Theor. Comput. Sci..
Thomas Ehrhard, Vincent Danos, Patrick Baillot, 1997, CSL.
Thomas Ehrhard, Vincent Danos, Patrick Baillot, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Laurent Regnier, Marco Pedicini, 1996, CSL.
Laurent Regnier, Thomas Ehrhard, L. Regnier, 2003, Theor. Comput. Sci..
Thomas Ehrhard, Laurent Regnier, L. Regnier, 2006, CiE.
Vincent Danos, Laurent Regnier, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Laurent Regnier, 1999, Theor. Comput. Sci..
Thomas Ehrhard, Laurent Regnier, L. Regnier, 2005, WoLLIC.
Cosimo Laneve, Vincent Danos, Andrea Asperti, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Laurent Regnier, L. Regnier, 1995 .
Thomas Ehrhard, Laurent Regnier, L. Regnier, 2003 .
Vincent Danos, Laurent Regnier, L. Regnier, 2004 .
Thomas Ehrhard, Vincent Danos, Patrick Baillot, 1997 .