Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 101



91
92
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
93
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
94
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
95
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
96
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
97
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
98
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
99
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
100
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
Página 10 de 11. Total de resultados: 101.

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

Links Úteis

Ajuda

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