• L
  • LICS
  • 2003
  • 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)
Advanced Search 
18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)
Ottawa, Canada
June 22-June 25
ISBN: 0-7695-1884-2
Table of Contents
null
Session 1
Session 2
Session 3
Amal Ahmed, Princeton University
Limin Jia, Princeton University
David Walker, Princeton University
pp. 33
Session 4
Short Presentations I
Practical Reflection in Nuprl
An Applicative-Order Term Rewriting System for Code Generation, and Its Termination Analysis
Patterns Based on Multiple Interacting Partial Orders
Logic of Subtyping
A Language and a Notion of Truth for Cryptographic Properties
The Relative Complexity of Local Search Heuristics and the Iteration Principle
A Second-Order Theory for NL
Session 5
Viktor Kuncak, Massachusetts Institute of Technology
Martin Rinard, Massachusetts Institute of Technology
pp. 96
Session 6
Dale Miller, INRIA/Futurs/Saclay & ?cole polytechnique
Alwen Tiu, ?cole polytechnique & Penn State University
pp. 118
Session 7
Session 8
Bakhadyr Khoussainov, University of Auckland, New Zealand
Sasha Rubin, University of Auckland, New Zealand
Frank Stephan, University of Heidelberg, Germany
pp. 168
Session 9
Session 10
Mart? Abadi, University of California at Santa Cruz
pp. 228
Session 11
Session 12
Yannick Chevalier, Universit? Henri Poincar?
Ralf K?sters, Stanford University
Micha? Rusinowitch, Universit? Henri Poincar?
Mathieu Turuani, Universit? Henri Poincar?
pp. 261
Session 13
Session 14
Session 15
Session 16
E. Allen Emerson, The University of Texas at Austin
Vineet Kahlon, The University of Texas at Austin
pp. 361
Short Presentations II
A Proposal to Extend Abstract State Machines to Applications in Systems Biology
Stuttering Refinement on Partial Systems
Assume-Guarantee Reasoning with Features
Modularity Theorems for Non-Monotone Induction
Linear-Time Algorithms for Monadic Logic
Game-Based Notions of Locality
Arb:An Implementation of Selecting Tree Automata for XML Query Processing
Usage of this product signifies your acceptance of the Terms of Use.