SPECIAL ISSUE:
Selected Papers of the 2005 IEEE Symposium on Logic in Computer Science
Chicago, IL, USA, 2005


Preface
Prakash Panangaden


Relational Parametricity and Control
Masahito Hasegawa


Tarski's influence on computer science
Solomon Feferman


Generalized Majority-Minority Operations are Tractable
Victor Dalmau


Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
Lars Birkedal, Noah Torp-Smith and Hongseok Yang


On the decidability and complexity of Metric Temporal Logic over finite words
Joel O. Ouaknine and James B. Worrell



DOI: 10.2168/LMCS-LICS:2005

Creative Commons