Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 108



101
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 DBLP CrossRef
NO MEU: ORCID
102
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
103
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
104
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
105
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
106
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
107
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
108
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
Página 11 de 11. Total de resultados: 108.

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