Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 105



61
TITLE: Syntax versus Semantics PDF
AUTHORS: Reinhard Kahle ; Wilfried Keller;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1507.04678
INDEXED IN: DBLP arXiv
IN MY: DBLP
62
TITLE: What is a Proof?  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: AXIOMATHES, VOLUME: 25, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: Towards the Structure of Mathematical Proof PDF
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: DBLP
IN MY: DBLP
64
TITLE: What is a Proof?
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2014, SOURCE: Axiomathes
INDEXED IN: Scopus
65
TITLE: What is a Proof?  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2014, SOURCE: Axiomathes
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
66
TITLE: Applicative theories for the polynomial hierarchy of time and its levels  Full Text
AUTHORS: Reinhard Kahle ; Oitavem, I ;
PUBLISHED: 2013, SOURCE: Meeting on 3rd Classical Logic and Computation (CLAC) in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 164, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
67
TITLE: Checking proofs
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: The Argument of Mathematics
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
68
TITLE: Computing with mathematical arguments
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science
INDEXED IN: Scopus CrossRef
IN MY: ORCID
69
TITLE: Modalities Without Worlds
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2012, SOURCE: The Realism-Antirealism Debate in the Age of Alternative Logics, VOLUME: 23
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
70
TITLE: THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2011, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 7 of 11. Total results: 105.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service