| |
Sent By: |
Ruy de Queiroz |
| | | I thought you would find this useful on ScienceDirect. |
| | 1. | Inside Front Cover: Editorial Board
Information and Computation, Volume 207, Issue 10, October 2009, Page IFC
| |
| | 2. | Editorial Board (continued)
Information and Computation, Volume 207, Issue 10, October 2009, Page i
| |
| | 3. | Logic, Language, Information and Computation
Information and Computation, Volume 207, Issue 10, October 2009, Pages 969-970
Grigori Mints, Valéria de Paiva, Ruy de Queiroz | |
| | 4. | Operational set theory and small large cardinals
Information and Computation, Volume 207, Issue 10, October 2009, Pages 971-979
Solomon Feferman | |
| | 5. | Situations in LTL as strings
Information and Computation, Volume 207, Issue 10, October 2009, Pages 980-999
Tim Fernando | |
| | 6. | On graph reasoning
Information and Computation, Volume 207, Issue 10, October 2009, Pages 1000-1014
Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana | |
| | 7. | Propositional games with explicit strategies
Information and Computation, Volume 207, Issue 10, October 2009, Pages 1015-1043
Bryan Renne | |
| | 8. | Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation, Volume 207, Issue 10, October 2009, Pages 1044-1077
Iliano Cervesato, Andre Scedrov | |
| | 9. | Some specially formulated axiomizations for IΣ0 manage to evade the Herbrandized version of the Second Incompleteness Theorem
Information and Computation, Volume 207, Issue 10, October 2009, Pages 1078-1093
Dan E. Willard | |
| |
Access the ScienceDirect Info site 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.
By using email or alert services, you agree to comply with the ScienceDirect Terms and Conditions.
© 2009 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.
|
|
