Yves Legrandgérard

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Jean-Louis Krivine, Yves Legrandgérard
Valid formulas, games and network protocols CoRR (2007)