Logic Colloquium 2005
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

9780511546464
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof analysis in non-classical logics

2009 ◽  
pp. 107-128 ◽  
Author(s):  
Sara Negri
Keyword(s):  
Proof Analysis

scholarly journals Recursion on the partial continuous functionals

2009 ◽  
pp. 173-201 ◽  
Author(s):  
Helmut Schwichtenberg
Keyword(s):  
Continuous Functionals

scholarly journals Thread algebra and risk assessment services

2009 ◽  
pp. 1-17 ◽  
Author(s):  
Jan A. Bergstra ◽  
Inge Bethke ◽  
Alban Ponse
Keyword(s):  
Risk Assessment ◽  
Thread Algebra
Load More ...
Sign in / Sign up

Export Citation Format

Share Document