Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642040269, 9783642040276
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Intersection, Universally Quantified, and Reference Types

2009 ◽  
pp. 209-224 ◽  
Author(s):  
Mariangiola Dezani-Ciancaglini ◽  
Paola Giannini ◽  
Simona Ronchi Della Rocca

Jumping Boxes

2009 ◽  
pp. 55-70 ◽  
Author(s):  
Beniamino Accattoli ◽  
Stefano Guerrini

scholarly journals Algorithmic Analysis of Array-Accessing Programs

2009 ◽  
pp. 86-101 ◽  
Author(s):  
Rajeev Alur ◽  
Pavol Černý ◽  
Scott Weinstein
Keyword(s):  
Algorithmic Analysis

scholarly journals Enriching an Effect Calculus with Linear Types

2009 ◽  
pp. 240-254 ◽  
Author(s):  
Jeff Egger ◽  
Rasmus Ejlers Møgelberg ◽  
Alex Simpson
Keyword(s):  
Linear Types
Load More ...
Sign in / Sign up

Export Citation Format

Share Document