- Andrzej S. Murawski:
On Program Equivalence in Languages with Ground-Type References. LICS 2003: 108- - George C. Necula, Robert R. Schneck:
A Sound Framework for Untrusted Verification-Condition Generators. LICS 2003: 248-260 - Paulo Oliva:
Polynomial-time Algorithms from Ineffective Proofs. LICS 2003: 128-137 - Joël Ouaknine, James Worrell:
Revisiting Digitization, Robustness, and Decidability for Timed Automata. LICS 2003: 198-207 - Benjamin C. Pierce:
Types and Programming Languages: The Next Generation. LICS 2003: 32- - Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243 - Nir Piterman, Moshe Y. Vardi:
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381- - Christophe Raffalli:
System ST \beta-reduction and completeness. LICS 2003: 21- - Benjamin Rossman:
Successor-Invariance in the Finite. LICS 2003: 148- - 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings. IEEE Computer Society 2003, ISBN 0-7695-1884-2 [contents]
