Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 108



101
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 DBLP CrossRef
IN MY: ORCID
102
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
103
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
104
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
105
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
106
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
107
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
108
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
Page 11 of 11. Total results: 108.

footer slogan

Useful Links

Get Help

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