Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540875307, 9783540875314
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Type-Based Termination with Sized Products

2008 ◽  
pp. 493-507 ◽  
Author(s):  
Gilles Barthe ◽  
Benjamin Grégoire ◽  
Colin Riba

scholarly journals Quantified Positive Temporal Constraints

2008 ◽  
pp. 94-108 ◽  
Author(s):  
Witold Charatonik ◽  
Michał Wrona
Keyword(s):  
Temporal Constraints

scholarly journals Extensional Uniformity for Boolean Circuits

2008 ◽  
pp. 64-78
Author(s):  
Pierre McKenzie ◽  
Michael Thomas ◽  
Heribert Vollmer
Keyword(s):  
Boolean Circuits

Syntactic Metatheory of Higher-Order Subtyping

2008 ◽  
pp. 446-460 ◽  
Author(s):  
Andreas Abel ◽  
Dulma Rodriguez
Keyword(s):  
Higher Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document