2009 24th Annual IEEE Symposium on Logic In Computer Science
Latest Publications

TOTAL DOCUMENTS

53

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By IEEE

9780769537467

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Expressiveness and Closure Properties for Quantitative Languages

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.16 ◽

2009 ◽

Author(s):

Krishnendu Chatterjee ◽

Laurent Doyen ◽

Thomas A. Henzinger

Keyword(s):

Closure Properties

Download Full-text

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.17 ◽

2009 ◽

Author(s):

Yevgeny Kazakov ◽

Ian Pratt-Hartmann

Keyword(s):

Modal Logics ◽

Satisfiability Problem

Download Full-text

The Structure of First-Order Causality

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.19 ◽

2009 ◽

Author(s):

Samuel Mimram

Keyword(s):

Download Full-text

Dinatural Terms in System F

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.30 ◽

2009 ◽

Author(s):

Joachim de Lataillade

Keyword(s):

Download Full-text

Statistic Analysis for Probabilistic Processes

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.36 ◽

2009 ◽

Author(s):

Michel de Rougemont ◽

Mathieu Tracol

Keyword(s):

Statistic Analysis ◽

Probabilistic Processes

Download Full-text

Non-linear Rewrite Closure and Weak Normalization

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.9 ◽

2009 ◽

Author(s):

Carles Creus ◽

Guillem Godoy ◽

Francesc Massanes ◽

Ashish Tiwari

Keyword(s):

Download Full-text

[Cover art]

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.53 ◽

2009 ◽

Keyword(s):

Download Full-text

A Unified Sequent Calculus for Focused Proofs

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.47 ◽

2009 ◽

Author(s):

Chuck Liang ◽

Dale Miller

Keyword(s):

Sequent Calculus

Download Full-text

Applications of Game Semantics: From Program Analysis to Hardware Synthesis

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.26 ◽

2009 ◽

Author(s):

Dan R. Ghica

Keyword(s):

Program Analysis ◽

Hardware Synthesis ◽

Download Full-text

Graded Computation Tree Logic

2009 24th Annual IEEE Symposium on Logic In Computer Science ◽

10.1109/lics.2009.28 ◽

2009 ◽

Author(s):

Alessandro Bianco ◽

Fabio Mogavero ◽

Aniello Murano

Keyword(s):

Computation Tree Logic ◽

Computation Tree

Download Full-text