Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 101



51
TÍTULO: Two function algebras defining functions in NCk boolean circuits  Full Text
AUTORES: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLICAÇÃO: 2016, FONTE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
52
TÍTULO: Gentzen's Centenary. The Quest for Consistency
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2015
INDEXADO EM: Openlibrary
NO MEU: ORCID
53
TÍTULO: Gentzen's Centenary. The Quest for Consistency
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2015
INDEXADO EM: Openlibrary
54
TÍTULO: Gentzen’s centenary: The quest for consistency
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
55
TÍTULO: Gentzen’s consistency proof in context
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
56
TÍTULO: Preface
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
57
TÍTULO: Sets, Truth, and Recursion
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: Unifying Philosophy Truth in Unifying the Philosophy of Truth, VOLUME: 36
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: Syntax versus Semantics PDF
AUTORES: Reinhard Kahle ; Wilfried Keller;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1507.04678
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
59
TÍTULO: What is a Proof?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: AXIOMATHES, VOLUME: 25, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Towards the Structure of Mathematical Proof PDF
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., VOLUME: 1186
INDEXADO EM: DBLP
NO MEU: DBLP
Página 6 de 11. Total de resultados: 101.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service