Saltar al contenido
Universidad del Mar SIBUMAR Descubridor Institucional UMAR
  • Inicio
  • Búsqueda avanzada
  • Explorar
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Búsqueda avanzada
  • Pure Data Spaces
Imagen de Portada

Pure Data Spaces

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autor principal: Youssef, Saul
Formato: Preprint
Publicado: 2025
Materias:
Distributed, Parallel, and Cluster Computing
Logic
03F50, 03B70, 68Q42, 16Y60, 20M35
F.1.1; F.4.1; F.4.2; G.2.1; G.2.2
Acceso en línea:
Acceder al recurso
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Agregar a favoritos
  • Enlace Permanente
  • Existencias
  • Descripción
  • Comentarios
  • Ejemplares similares
  • Vista Equipo

Internet

https://arxiv.org/abs/2508.14271

Ejemplares similares

  • Gödel Mirror: A Formal System For Contradiction-Driven Recursion
    por: Chan, Jhet
    Publicado: (2025)
  • A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
    por: Ramos, Arthur, et al.
    Publicado: (2025)
  • A correspondence between the time and space complexity
    por: Latkin, Ivan V.
    Publicado: (2023)
  • On the Realizability of Prime Conjectures in Heyting Arithmetic
    por: Rosko, Milan
    Publicado: (2025)
  • The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
    por: Rahnama, Moses
    Publicado: (2025)
Universidad del Mar
Universidad del MarSistema Bibliotecario de la Universidad del MarDescubridor Institucional UMARImplementación y desarrollo: Mtro. Carlos Alonso Albores Pérez
InicioBúsqueda avanzadaExplorar
Visitas al Descubridor: 387,319© 2026 Universidad del Mar