Logic Colloquium 2007
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

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

Proof mining in practice

2011 ◽  
pp. 82-91
Author(s):  
Philipp Gerhardy
Keyword(s):  
Proof Mining

scholarly journals Three lectures on automatic structures

2011 ◽  
pp. 132-176 ◽  
Author(s):  
Bakhadyr Khoussainov ◽  
Mia Minnes
Keyword(s):  
Automatic Structures

Introduction

2011 ◽  
pp. ix-x
Author(s):  
Françoise Delon ◽  
Ulrich Kohlenbach ◽  
Penelope Maddy ◽  
Frank Stephan
Load More ...
Sign in / Sign up

Export Citation Format

Share Document