Concepts of Proof in Mathematics, Philosophy, and Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By De Gruyter

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

Introduction

2016 ◽  
pp. 1-4
Author(s):  
Dieter Probst ◽  
Peter Schuster

scholarly journals Logic for Gray-code Computation

2016 ◽  
Author(s):  
Ulrich Berger ◽  
Kenji Miyamoto ◽  
Helmut Schwichtenberg ◽  
Hideki Tsuiki
Keyword(s):  
Gray Code

Herbrand Confluence for First-Order Proofs with Π2-Cuts

2016 ◽  
Author(s):  
Bahareh Afshari ◽  
Stefan Hetzl ◽  
Graham E. Leigh
Keyword(s):  
First Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document