Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 105



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

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

Links Úteis

Ajuda

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