Resultados de búsqueda - van Gool, Sam

  • Mostrando 1 - 7 Resultados de 7
Limitar resultados
  1. 1
    Imagen de Portada

    Uniform Interpolation Autoría: van Gool, Sam

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    On duality and model theory for polyadic spaces Autoría: van Gool, Sam, Marquès, Jérémie

    Publicado 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

    Toposes with enough points as categories of étale spaces Autoría: van Gool, Sam, Marquès, Jérémie, Tarantino, Umberto

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    Profinite lambda-terms and parametricity Autoría: van Gool, Sam, Melliès, Paul-André, Moreau, Vincent

    Publicado 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

    Deciding Equations in the Time Warp Algebra Autoría: van Gool, Sam, Guatto, Adrien, Metcalfe, George, Santschi, Simon

    Publicado 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

    Learning Weighted Automata over Number Rings, Concretely and Categorically Autoría: Aristote, Quentin, van Gool, Sam, Petrişan, Daniela, Shirmohammadi, Mahsa

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

    Mechanised uniform interpolation for modal logics K, GL, and iSL Autoría: Férée, Hugo, van der Giessen, Iris, van Gool, Sam, Shillito, Ian

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: