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

scholarly journals Expressiveness and Closure Properties for Quantitative Languages

2009 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Laurent Doyen ◽  
Thomas A. Henzinger
Keyword(s):  
Closure Properties

Dinatural Terms in System F

2009 ◽  
Author(s):  
Joachim de Lataillade
Keyword(s):  
System F

Statistic Analysis for Probabilistic Processes

2009 ◽  
Author(s):  
Michel de Rougemont ◽  
Mathieu Tracol
Keyword(s):  
Statistic Analysis ◽  
Probabilistic Processes

Non-linear Rewrite Closure and Weak Normalization

2009 ◽  
Author(s):  
Carles Creus ◽  
Guillem Godoy ◽  
Francesc Massanes ◽  
Ashish Tiwari
Keyword(s):  
Non Linear

scholarly journals A Unified Sequent Calculus for Focused Proofs

2009 ◽  
Author(s):  
Chuck Liang ◽  
Dale Miller
Keyword(s):  
Sequent Calculus

scholarly journals Graded Computation Tree Logic

2009 ◽  
Author(s):  
Alessandro Bianco ◽  
Fabio Mogavero ◽  
Aniello Murano
Keyword(s):  
Computation Tree Logic ◽  
Computation Tree
Load More ...
Sign in / Sign up

Export Citation Format

Share Document