Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 110



101
TÍTULO: Truth in Applicative Theories
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2001, FONTE: Stud Logica, VOLUME: 68, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
102
TÍTULO: Universes in explicit mathematics  Full Text
AUTORES: Jager, G; Reinhard Kahle ; Studer, T;
PUBLICAÇÃO: 2001, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 109, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef: 13
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
103
TÍTULO: Universes in explicit mathematics
AUTORES: Gerhard Jäger; Reinhard Kahle ; Thomas Studer;
PUBLICAÇÃO: 2001, FONTE: Ann. Pure Appl. Log., VOLUME: 109, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
104
TÍTULO: A Theory of Explicit Mathematics Equivalent to ID1
AUTORES: Reinhard Kahle ; Thomas Studer;
PUBLICAÇÃO: 2000, FONTE: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, VOLUME: 1862
INDEXADO EM: DBLP CrossRef: 2
NO MEU: ORCID | DBLP
105
TÍTULO: N-strictness in applicative theories  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2000, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 39, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
106
TÍTULO: Proof-theoretic notions for software maintenance
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2000, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
107
TÍTULO: Frege structures for partial applicative theories
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
108
TÍTULO: On Applicative Theories
AUTORES: Gerhard Jäger; Reinhard Kahle ; Thomas Strahm;
PUBLICAÇÃO: 1999, FONTE: Logic and Foundations of Mathematics
INDEXADO EM: CrossRef: 8
NO MEU: ORCID
109
TÍTULO: The proof-theoretic analysis of transfinitely iterated fixed point theories
AUTORES: Jager, G; Reinhard Kahle ; Setzer, A; Strahm, T;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 64, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 25
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
110
TÍTULO: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
AUTORES: Gerhard Jäger; Reinhard Kahle ; Anton Setzer; Thomas Strahm;
PUBLICAÇÃO: 1999, FONTE: J. Symb. Log., VOLUME: 64, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
Página 11 de 11. Total de resultados: 110.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service