Image de couverture de livre

E-variables and tests of randomness for distribution classes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Potapov, Georgii, Kalnishkan, Yuri
Format:	Preprint
Publié:	2026
Sujets:	Information Theory Logic in Computer Science Logic Statistics Theory 62F03, 68Q30 G.3; F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Arithmetics within the Linear Time Hierarchy
par: Pollett, Chris
Publié: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
par: Ye, Lingyuan
Publié: (2024)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
par: Pradic, Cécilia
Publié: (2024)

Homological Invariants of Higher-Order Equational Theories
par: Ikebuchi, Mirai
Publié: (2025)

A proof complexity conjecture and the Incompleteness theorem
par: Krajicek, Jan
Publié: (2023)

The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
par: Gabbay, Murdoch J., et autres
Publié: (2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
par: Santacana, Andreu Ballus
Publié: (2025)

A Classifying Topos for the Spectrum of Equivalences
par: Oggad, Kenan
Publié: (2026)

Computability of Initial Value Problems
par: Brattka, Vasco, et autres
Publié: (2024)

Recursive windows for grammar logics of bounded density
par: Gasquet, Olivier
Publié: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
par: Balbiani, Philippe, et autres
Publié: (2025)

On the existence of strong proof complexity generators
par: Krajicek, Jan
Publié: (2022)

A Logic For Fresh Labelled Transition Systems
par: Bandukara, Mohamed H, et autres
Publié: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
par: Rosko, Milan
Publié: (2025)

Determination of the fifth Busy Beaver value
par: The bbchallenge Collaboration, et autres
Publié: (2025)

Extended Nullstellensatz proof systems
par: Krajicek, Jan
Publié: (2023)

Adversarial Barrier in Uniform Class Separation
par: Rosko, Milan
Publié: (2025)

A correspondence between the time and space complexity
par: Latkin, Ivan V.
Publié: (2023)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Complexities of Well-Quasi-Ordered Substructural Logics
par: Galatos, Nikolaos, et autres
Publié: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
par: Adsul, Bharat, et autres
Publié: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
par: Wang, Shuai
Publié: (2024)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

A convergence law for continuous logic and continuous structures with finite domains
par: Koponen, Vera
Publié: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
par: Ramos, Arthur, et autres
Publié: (2025)

Behavioural Conformances based on Lax Couplings
par: Wild, Paul, et autres
Publié: (2025)

Simulating and model checking membrane systems using strategies in Maude
par: Rubio, Rubén, et autres
Publié: (2024)

Loops, Inverse Limits and Non-Determinism
par: Brattka, Vasco
Publié: (2025)

Strategies, model checking and branching-time properties in Maude
par: Rubio, Rubén, et autres
Publié: (2024)

Model checking strategy-controlled systems in rewriting logic
par: Rubio, Rubén, et autres
Publié: (2024)

Metalevel transformation of strategies
par: Rubio, Rubén, et autres
Publié: (2024)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

Symmetries in Sorting
par: Choudhury, Vikraman, et autres
Publié: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
par: Schewe, Klaus-Dieter
Publié: (2020)

Relational Models for the Lambek Calculus with Intersection and Constants
par: Kuznetsov, Stepan L.
Publié: (2022)