%0 Thesis %1 phd/hal/Retore93 %A Retoré, Christian %D 1993 %K dblp %T Réseaux et séquents ordonnés. (Ordered sequents and proof nets).

@phdthesis{phd/hal/Retore93, added-at = {2019-02-16T00:00:00.000+0100}, author = {Retoré, Christian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2864ab68beadb1cd87d1d42022ef490f4/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00585634}, interhash = {ab853faae2737e99253d5a0dd51b56bd}, intrahash = {864ab68beadb1cd87d1d42022ef490f4}, keywords = {dblp}, school = {Paris Diderot University, France}, timestamp = {2019-09-27T12:26:09.000+0200}, title = {Réseaux et séquents ordonnés. (Ordered sequents and proof nets).}, year = 1993 }