Conference Partner » Investigadores: Kazuhiko Sakaguchi
Información Básica
Nombre: Kazuhiko Sakaguchi
Institución: University of Tsukuba
Registro: 2018-05-04
Puntuación: 63
CV
Conferencias Seguidas
Mostrando 1-6 de 6 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2025-07-102025-10-022026-01-11
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2025-02-272025-06-272025-10-12
aa1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2024-10-102024-12-202025-05-03
CPPInternational Conference on Certified Programs and Proofs2024-09-102024-11-192025-01-19
aITPInternational Conference on Interactive Theorem Proving2022-02-012022-03-302022-08-07
aLPARInternational Conference on Logic for Programming Artificial Intelligence and Reasoning2017-01-182017-03-012017-05-08
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.
Investigadores Seguidos
NombreInstituciónRegistroScore
No se encontraron resultados.
NombreInstituciónScore
No se encontraron resultados.

Seguidores
No se encontraron resultados.
Publicidad