Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 110



101
TITLE: Truth in Applicative Theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2001, SOURCE: Stud Logica, VOLUME: 68, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
102
TITLE: Universes in explicit mathematics  Full Text
AUTHORS: Jager, G; Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 109, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 13
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
103
TITLE: Universes in explicit mathematics
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2001, SOURCE: Ann. Pure Appl. Log., VOLUME: 109, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
104
TITLE: A Theory of Explicit Mathematics Equivalent to ID1
AUTHORS: Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2000, SOURCE: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, VOLUME: 1862
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP
105
TITLE: N-strictness in applicative theories  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2000, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 39, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
106
TITLE: Proof-theoretic notions for software maintenance
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2000, SOURCE: MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology in First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, VOLUME: 40
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
107
TITLE: Frege structures for partial applicative theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 1999, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
108
TITLE: On Applicative Theories
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Thomas Strahm;
PUBLISHED: 1999, SOURCE: Logic and Foundations of Mathematics
INDEXED IN: CrossRef: 8
IN MY: ORCID
109
TITLE: The proof-theoretic analysis of transfinitely iterated fixed point theories
AUTHORS: Jager, G; Reinhard Kahle ; Setzer, A; Strahm, T;
PUBLISHED: 1999, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 64, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 25
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
110
TITLE: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Anton Setzer; Thomas Strahm;
PUBLISHED: 1999, SOURCE: J. Symb. Log., VOLUME: 64, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
Page 11 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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