equal
deleted
inserted
replaced
277 available freshness-constraints.) |
277 available freshness-constraints.) |
278 |
278 |
279 <p><B>Nominal Logic Programming.</B> (with Cheney) |
279 <p><B>Nominal Logic Programming.</B> (with Cheney) |
280 In <A HREF="http://dl.acm.org/citation.cfm?id=1387675"> |
280 In <A HREF="http://dl.acm.org/citation.cfm?id=1387675"> |
281 ACM Transactions on Programming Languages and Systems</A>, |
281 ACM Transactions on Programming Languages and Systems</A>, |
282 2008, Vol. 30(5), Article 26, pages 1-47. |
282 2008, Vol. 30(5), pages 26:1-26:47. |
283 </TD> |
283 </TD> |
284 </TR> |
284 </TR> |
285 |
285 |
286 <TR> |
286 <TR> |
287 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
287 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |