Mostrando 1 - 3 Resultados de 3 Para Buscar 'Katsumata, Shin-ya', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    por Fukihara, Yōji, Katsumata, Shin-ya
    Publicado 2021
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Generalized Bounded Linear Logic and its Categorical Semantics
  2. 2
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Graded Hoare Logic and its Categorical Semantics
  3. 3
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Relational Differential Dynamic Logic
Herramientas de búsqueda: RSS