Proof and Computation II
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 10)

H-INDEX

0
(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789811236471, 9789811236488
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conceptions of Proof from Aristotle to Gentzen’s Calculi

2021 ◽  
pp. 33-54
Author(s):  
Stefania Centrone

Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy

2021 ◽  
pp. 1-32
Author(s):  
Klaus Mainzer
Keyword(s):  
Computer Science

From Intuitionistic Mathematics to Point-Free Topology

2021 ◽  
pp. 55-98
Author(s):  
Tatsuji Kawai
Keyword(s):  
Intuitionistic Mathematics

An Ad-Hoc Semantics to Study Structural Properties of Types

2021 ◽  
pp. 267-303
Author(s):  
Marco Benini ◽  
Roberta Bonacina
Keyword(s):  
Structural Properties ◽  
Ad Hoc

Logic and Verification of Product Configuration in the Automotive Industry

2021 ◽  
pp. 387-408
Author(s):  
Wolfgang Küchlin
Keyword(s):  
Automotive Industry ◽  
Product Configuration

scholarly journals The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

2021 ◽  
pp. 305-386
Author(s):  
Dominique Larchey-Wendling ◽  
Jean-François Monin

Formal Topology and Univalent Foundations

2021 ◽  
pp. 255-266
Author(s):  
Thierry Coquand ◽  
Ayberk Tosun
Keyword(s):  
Univalent Foundations ◽  
Formal Topology

scholarly journals Generalized Spaces for Constructive Algebra

2021 ◽  
pp. 99-187
Author(s):  
Ingo Blechschmidt
Keyword(s):  
Constructive Algebra

FRONT MATTER

2021 ◽  
pp. i-xvi
Author(s):  
Klaus Mainzer ◽  
Peter Schuster ◽  
Helmut Schwichtenberg
Load More ...
Sign in / Sign up

Export Citation Format

Share Document