2011 IEEE 26th Annual Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457704512

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Type System for Complexity Flow Analysis

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.41 ◽

2011 ◽

Cited By ~ 5

Author(s):

Jean-Yves Marion

Keyword(s):

Flow Analysis ◽

Type System

Download Full-text

Copyright Page

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.3 ◽

2011 ◽

Download Full-text

A Decidable Two-Way Logic on Data Words

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.18 ◽

2011 ◽

Cited By ~ 7

Author(s):

Diego Figueira

Download Full-text

Separation Logic in the Presence of Garbage Collection

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.46 ◽

2011 ◽

Cited By ~ 4

Author(s):

Chung-Kil Hur ◽

Derek Dreyer ◽

Viktor Vafeiadis

Keyword(s):

Garbage Collection ◽

Separation Logic

Download Full-text

Complexity of Two-Variable Dependence Logic and IF-Logic

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.14 ◽

2011 ◽

Cited By ~ 4

Author(s):

Juha Kontinen ◽

Antti Kuusisto ◽

Peter Lohmann ◽

Jonni Virtema

Keyword(s):

Dependence Logic ◽

If Logic

Download Full-text

[Roster page]

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.45 ◽

2011 ◽

Download Full-text

Formalizing Randomized Matching Algorithms

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.12 ◽

2011 ◽

Author(s):

Dai Tri Man Lê ◽

Stephen A. Cook

Download Full-text

Higher-Order Model Checking: From Theory to Practice

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.15 ◽

2011 ◽

Cited By ~ 6

Author(s):

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model ◽

Theory To Practice

Download Full-text

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.7 ◽

2011 ◽

Download Full-text

Proof Nets for Additive Linear Logic with Units

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.9 ◽

2011 ◽

Cited By ~ 5

Author(s):

Willem Heijltjes

Keyword(s):

Linear Logic ◽

Proof Nets

Download Full-text

2011 IEEE 26th Annual Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Type System for Complexity Flow Analysis

Copyright Page

A Decidable Two-Way Logic on Data Words

Separation Logic in the Presence of Garbage Collection

Complexity of Two-Variable Dependence Logic and IF-Logic

[Roster page]

Formalizing Randomized Matching Algorithms

Higher-Order Model Checking: From Theory to Practice

Table of Contents

Proof Nets for Additive Linear Logic with Units

Export Citation Format

2011 IEEE 26th Annual Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Type System for Complexity Flow Analysis

Copyright Page

A Decidable Two-Way Logic on Data Words

Separation Logic in the Presence of Garbage Collection

Complexity of Two-Variable Dependence Logic and IF-Logic

[Roster page]

Formalizing Randomized Matching Algorithms

Higher-Order Model Checking: From Theory to Practice

Table of Contents

Proof Nets for Additive Linear Logic with Units

2011 IEEE 26th Annual Symposium on Logic in Computer Science
Latest Publications