Proof and Computation
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789813270930, 9789813270947
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction to Minlog

2018 ◽  
pp. 233-288
Author(s):  
Franziskus Wiesnet

Proof and Computation

2018 ◽  
pp. 1-52
Author(s):  
Klaus Mainzer

scholarly journals Exploring Predicativity

2018 ◽  
pp. 83-108
Author(s):  
Laura Crosilla

Constructive Functional Analysis: An Introduction

2018 ◽  
pp. 109-165
Author(s):  
Hajime Ishihara
Keyword(s):  
Functional Analysis

The Data Structures of the Lambda Terms

2018 ◽  
pp. 191-207
Author(s):  
Masahiko Sato
Keyword(s):  
Data Structures

Constructive Convex Programming

2018 ◽  
pp. 53-82 ◽  
Author(s):  
Josef Berger ◽  
Gregor Svindland
Keyword(s):  
Convex Programming

Program Extraction

2018 ◽  
pp. 167-189
Author(s):  
Kenji Miyamoto
Keyword(s):  
Program Extraction

FRONT MATTER

2018 ◽  
pp. i-viii
Author(s):  
Klaus Mainzer ◽  
Peter Schuster ◽  
Helmut Schwichtenberg

BACK MATTER

2018 ◽  
pp. 289-291
Author(s):  
Klaus Mainzer ◽  
Peter Schuster ◽  
Helmut Schwichtenberg

Provable (and Unprovable) Computability

2018 ◽  
pp. 209-231
Author(s):  
Stanley S. Wainer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document