22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769529089

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relational Parametricity for Computational Effects

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.40 ◽

2007 ◽

Cited By ~ 6

Author(s):

Rasmus Ejlers Mogelberg ◽

Alex Simpson

Download Full-text

Lindstrom theorems for fragments of first-order logic

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.29 ◽

2007 ◽

Cited By ~ 3

Author(s):

Balder ten Cate ◽

Johan van Benthem ◽

Jouko Vaananen

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Foreword

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.20 ◽

2007 ◽

Download Full-text

Game Relations and Metrics

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.22 ◽

2007 ◽

Cited By ~ 21

Author(s):

Luca de Alfaro ◽

Rupak Majumdar ◽

Vishwanath Raman ◽

Marielle Stoelinga

Download Full-text

Characterising Testing Preorders for Finite Probabilistic Processes

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.15 ◽

2007 ◽

Cited By ~ 9

Author(s):

Yuxin Deng ◽

Rob van Glabbeek ◽

Matthew Hennessy ◽

Carroll Morgan ◽

Chenyi Zhang

Keyword(s):

Probabilistic Processes

Download Full-text

Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.33 ◽

2007 ◽

Cited By ~ 14

Author(s):

Andreas Abel ◽

Thierry Coquand ◽

Peter Dybjer

Keyword(s):

Type Theory

Download Full-text

Pi-Calculus in Logical Form

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.36 ◽

2007 ◽

Cited By ~ 9

Author(s):

Marcello Bonsangue ◽

Alexander Kurz

Keyword(s):

Logical Form ◽

Pi Calculus

Download Full-text

A New Efficient Simulation Equivalence Algorithm

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.8 ◽

2007 ◽

Cited By ~ 19

Author(s):

Francesco Ranzato ◽

Francesco Tapparo

Keyword(s):

Efficient Simulation

Download Full-text

Separating DAG-Like and Tree-Like Proof Systems

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.42 ◽

2007 ◽

Cited By ~ 3

Author(s):

Phuong Nguyen

Keyword(s):

Proof Systems

Download Full-text

Limits of Multi-Discounted Markov Decision Processes

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.28 ◽

2007 ◽

Author(s):

Hugo Gimbert ◽

Wieslaw Zielonka

Keyword(s):

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision

Download Full-text

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Relational Parametricity for Computational Effects

Lindstrom theorems for fragments of first-order logic

Foreword

Game Relations and Metrics

Characterising Testing Preorders for Finite Probabilistic Processes

Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements

Pi-Calculus in Logical Form

A New Efficient Simulation Equivalence Algorithm

Separating DAG-Like and Tree-Like Proof Systems

Limits of Multi-Discounted Markov Decision Processes

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Latest Publications