[image: Go to ScienceDirect® Home] <http://www.sciencedirect.com/science> *Recommended Articles* *Sent By:* Ruy de Queiroz I thought you would find this useful on ScienceDirect. 1.*Inside Front Cover: Editorial Board<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4YH4RC3-1&_origin=SDEMFRHTML&_version=1&md5=acfebbb85e34c320cfde786b211c3f3d> * *Information and Computation, Volume 208, Issue 5, May 2010, Page IFC*
2.*Editorial Board (continued)<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4YH4RC3-2&_origin=SDEMFRHTML&_version=1&md5=cb8d0045afe83fa4ec409eafd25195fe> * *Information and Computation, Volume 208, Issue 5, May 2010, Page i* 3.*Logic, language, information and computation<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XX15RR-1&_origin=SDEMFRHTML&_version=1&md5=f8ed964409c29bfb09187105ff3980e7> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 395-396* Ruy de Queiroz 4.*Continuation semantics for the Lambek–Grishin calculus<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XVK3WR-4&_origin=SDEMFRHTML&_version=1&md5=56605519a490590a8efef95caa23ead6> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 397-416* Raffaella Bernardi, Michael Moortgat 5.*On quantifier-rank equivalence between linear orders<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XVK3WR-1&_origin=SDEMFRHTML&_version=1&md5=e010340b0c7ca246d459a89f59177fb0> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 417-432* Ryan Siders 6.*Hybrid logical analyses of the ambient calculus<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XVK3WR-2&_origin=SDEMFRHTML&_version=1&md5=4003d6679919ef6dabe07ffd11848dbf> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 433-449* Thomas Bolander, René Rydhof Hansen 7.*Structured anaphora to quantifier domains<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XVK3WR-3&_origin=SDEMFRHTML&_version=1&md5=a7af1cfc28ed5f05925cfba44c6fb19d> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 450-473* Adrian Brasoveanu 8.*Adjunct elimination in Context Logic for trees<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XVRYMB-1&_origin=SDEMFRHTML&_version=1&md5=dec9df8e6ea2b2bbf1ec2128d508a8fa> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 474-499* Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner 9.*A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XW00B2-2&_origin=SDEMFRHTML&_version=1&md5=d4a761447eac7ae9b4c1c41245b9d989> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 500-509* Alessandra Carbone 10.*A modular and parameterized presentation of pregroup calculus<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XW00B2-3&_origin=SDEMFRHTML&_version=1&md5=f04c7ffa47e8f25d0c88d48451d5b938> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 510-520* Annie Foret 11.*Numerical constraints on XML data<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XW00B2-1&_origin=SDEMFRHTML&_version=1&md5=fbded3f463bdd16995d3ae85b21da1e4> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 521-544* Sven Hartmann, Sebastian Link 12.*Modules over monads and initial semantics<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XWMNBJ-1&_origin=SDEMFRHTML&_version=1&md5=813b4bac5e11bc6d58ca331cf6587246> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 545-564* André Hirschowitz, Marco Maggesi 13.*Functional interpretations of linear and intuitionistic logic<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XWMNBJ-2&_origin=SDEMFRHTML&_version=1&md5=a2c2237f1a45e9e241401be249ca07b4> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 565-577* Paulo Oliva 14.*A coinductive calculus of binary trees<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XWMNBJ-3&_origin=SDEMFRHTML&_version=1&md5=99cec14af279ee8febd47dc0a5407a00> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 578-593* Alexandra Silva, Jan Rutten 15.*A sketch of a dynamic epistemic semiring<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_uoikey=B6WGK-4XWMNBJ-4&_origin=SDEMFRHTML&_version=1&md5=2410199694a41778e1c526ca85831b30> * *Information and Computation, Volume 208, Issue 5, May 2010, Pages 594-604* Kim Solin Access the ScienceDirect *Info site* <http://www.info.sciencedirect.com/>if you have questions about this message or other features of this service. This email has been sent to you by ScienceDirect, a division of Elsevier B.V., Radarweg 29, 1043 NX Amsterdam, The Netherlands, Tel.+31 20 485 3911. ScienceDirect respects your privacy and does not disclose, rent or sell your personal information to any non-affiliated third parties without your consent, except as may be stated in the ScienceDirect online privacy policy<http://www.sciencedirect.com/science/privacy>. By using email or alert services, you agree to comply with the ScienceDirect Terms and Conditions <http://www.sciencedirect.com/science/termsandcond>. © 2010 ScienceDirect. All rights reserved. Any unauthorized use, reproduction, or transfer of this message or its contents, in any medium, is strictly prohibited. ScienceDirect® is a registered trademark of Elsevier B.V.
_______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l