http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&feed=atom&title=Talk%3AProof-nets 2026-04-12T11:07:23Z Revision history for this page on the wiki MediaWiki 1.19.20+dfsg-0+deb7u3 http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Proof-nets&diff=493&oldid=prev 2011-01-17T13:46:23Z

<p>‎<span dir="auto"><span class="autocomment">Complément de Michele sur ce qu&#039;on voudrait pouvoir traiter</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 13:46, 17 January 2011</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 190:</td> <td colspan="2" class="diff-lineno">Line 190:</td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div><span class="diffchange diffchange-inline">=</span>=== Complément de Michele sur ce qu'on voudrait pouvoir traiter <span class="diffchange diffchange-inline">=</span>===</div></td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"><div>=== Complément de Michele sur ce qu'on voudrait pouvoir traiter ===</div></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>Il peut etre utile pour bien choisir une syntaxe et un langage pour</div></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>Il peut etre utile pour bien choisir une syntaxe et un langage pour</div></td> </tr> </table>

Lionel Vaux http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Proof-nets&diff=492&oldid=prev 2011-01-17T13:46:07Z

<p>‎<span dir="auto"><span class="autocomment">Complément de Michele sur ce qu&#039;on voudrait pouvoir traiter =</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 13:46, 17 January 2011</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 190:</td> <td colspan="2" class="diff-lineno">Line 190:</td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>=== Complément de Michele sur ce qu'on voudrait pouvoir traiter ====</div></td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"><div><span class="diffchange diffchange-inline">=</span>=== Complément de Michele sur ce qu'on voudrait pouvoir traiter ====</div></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>Il peut etre utile pour bien choisir une syntaxe et un langage pour</div></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>Il peut etre utile pour bien choisir une syntaxe et un langage pour</div></td> </tr> </table>

Lionel Vaux http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Proof-nets&diff=491&oldid=prev 2011-01-17T13:45:38Z

<p></p> <a href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Proof-nets&amp;diff=491&amp;oldid=489">Show changes</a>

Lionel Vaux http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Proof-nets&diff=489&oldid=prev 2010-12-09T15:02:14Z

<p>discussion on basic definitions</p> <p><b>New page</b></p><div>Maybe we should try and start again our discussion concerning proof nets, <br /> their definition(s), and their graphical representations on this wiki.<br /> First, I leave some open questions:<br /> * Is there anything new concerning this matter ?<br /> * Can we agree on some common ground to start these pages ?<br /> * Why not start from scratch and see what breaks ?<br /> --[[User:Lionel Vaux|Lionel Vaux]] 15:02, 9 December 2010 (UTC)</div>

Lionel Vaux