Mostrando 1 - 5 Resultados de 5 Para Buscar 'Rot, Jurriaan', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    por Rot, Jurriaan
    Publicado 2019
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Distributive laws for monotone specifications
  2. 2
    por Petrişan, Daniela, Rot, Jurriaan
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    15th International Workshop on Coalgebraic Methods in Computer Science
  3. 3
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Learning Weighted Automata over Principal Ideal Domains
  4. 4
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Learning Pomset Automata
  5. 5
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Verifying OpenJDK’s Sort Method for Generic Collections
Herramientas de búsqueda: RSS