Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 101



91
92
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
93
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
94
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
95
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
96
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
97
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
98
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
99
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
100
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
Page 10 of 11. Total results: 101.

footer slogan

Useful Links

Get Help

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