Obálka

Uloženo v:
Podrobná bibliografie
Hlavní autor: Carroll, Jeremy H.
Médium: Recurso digital
Jazyk:angličtina
Vydáno: Zenodo 2026
Témata:
Finite Descent Authority
Finite Obstruction Calculus
applied proof theory
category theory
finite reasoning
Semantics
obstruction calculus
obstruction theory
Mathematical logic
verification theory
formal methods
finite certified regime
proof certificates
authority factorization
LLM
no silent mutation
finite authority systems
On-line přístup:https://doi.org/10.5281/zenodo.20195157
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Žádný popis.

Podobné jednotky