Saltar al contenido
VuFind
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Avanzado
  • 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
Imagen de Portada

Guardado en:
Detalles Bibliográficos
Autor principal: Salhab, Najih
Formato: Recurso digital
Lenguaje:
Publicado: Zenodo 2026
Materias:
formation theory, type theory, self-reference, logical paradoxes, AI safety, formal verification, pre-semantic validation, safety-critical systems, software reliability, smart contract security, proof assistants, soundness, system failure prevention, formal methods
Acceso en línea:https://doi.org/10.5281/zenodo.18216160
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Comentarios
  • Ejemplares similares
  • Vista Equipo

Internet

https://doi.org/10.5281/zenodo.18216160

Ejemplares similares

  • A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
    por: Matsuua, Yoshihito
    Publicado: (2025)
  • General Theory of Finite Descent Authority
    por: Carroll, Jeremy H.
    Publicado: (2026)
  • Automated Reasoning with Analytic Tableaux and Related Methods
    Publicado: (2023)
  • Frontiers of Combining Systems
    Publicado: (2023)
  • Computer Aided Verification
    Publicado: (2023)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes