20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769522661

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantics of Separation-Logic Typing and Higher-Order Frame Rules

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.47 ◽

2006 ◽

Cited By ~ 14

Author(s):

L. Birkedal ◽

N. Torp-Smith ◽

Hongseok Yang

Keyword(s):

Higher Order ◽

Separation Logic

Download Full-text

Tarski’s Influence on Computer Science

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.50 ◽

2006 ◽

Cited By ~ 1

Author(s):

S. Feferman

Keyword(s):

Computer Science

Download Full-text

Constructing Free Boolean Categories

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.13 ◽

2006 ◽

Cited By ~ 2

Author(s):

F. Lamarche ◽

L. Strassburger

Download Full-text

Semantic Subtyping for the p-Calculus

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.46 ◽

2006 ◽

Cited By ~ 4

Author(s):

G. Castagna ◽

R. De Nicola ◽

D. Varacca

Download Full-text

Definability on a Random 3-CNF Formula

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.14 ◽

2006 ◽

Cited By ~ 2

Author(s):

A. Atserias

Download Full-text

Model-Checking Hierarchical Structures

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.29 ◽

2006 ◽

Cited By ~ 2

Author(s):

M. Lohrey

Keyword(s):

Model Checking ◽

Hierarchical Structures

Download Full-text

Proof-Theoretic Approach to Description-Logic

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.38 ◽

2006 ◽

Cited By ~ 7

Author(s):

M. Hofmann

Keyword(s):

Description Logic ◽

Theoretic Approach

Download Full-text

On the Decidability of Metric Temporal Logic

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.33 ◽

2006 ◽

Cited By ~ 49

Author(s):

J. Ouaknine ◽

J. Worrell

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic

Download Full-text

An Insider's Guide to Logic in Telecommunications Data

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.4 ◽

2006 ◽

Author(s):

M. Benedikt

Download Full-text

Recursive Polymorphic Types and Parametricity in an Operational Framework

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.42 ◽

2006 ◽

Cited By ~ 13

Author(s):

P.-A. Mellies ◽

J. Vouillon

Download Full-text

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Semantics of Separation-Logic Typing and Higher-Order Frame Rules

Tarski’s Influence on Computer Science

Constructing Free Boolean Categories

Semantic Subtyping for the p-Calculus

Definability on a Random 3-CNF Formula

Model-Checking Hierarchical Structures

Proof-Theoretic Approach to Description-Logic

On the Decidability of Metric Temporal Logic

An Insider's Guide to Logic in Telecommunications Data

Recursive Polymorphic Types and Parametricity in an Operational Framework

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
Latest Publications