Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 105



101
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
102
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
103
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
104
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
105
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: 105.

footer slogan

Useful Links

Get Help

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