default search action
Logical Methods in Computer Science, Special Issue 2
Selected Papers of the 2005 IEEE Symposium on Logic in Computer Science [LICS 2005]
- Masahito Hasegawa:
Relational Parametricity and Control. - Solomon Feferman:
Tarski's influence on computer science. - Víctor Dalmau:
Generalized Majority-Minority Operations are Tractable. - Lars Birkedal, Noah Torp-Smith, Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. - Joël Ouaknine, James Worrell:
On the decidability and complexity of Metric Temporal Logic over finite words.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.