:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Porter, Christopher P.
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2403.04047
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
by: Porter, Christopher P.
Published: (2024)

Randomness via infinite computation and effective descriptive set theory
by: Carl, Merlin, et al.
Published: (2016)

Algorithmic Randomness in Continuous-Time Markov Chains
by: Huang, Xiang, et al.
Published: (2019)

Algorithmic Randomness for Infinite Time Register Machines
by: Carl, Merlin
Published: (2014)

Simple Models of Randomization and Preservation Theorems
by: Khanaki, Karim, et al.
Published: (2024)

Randomness and Degree Theory for Infinite Time Register Machines
by: Carl, Merlin
Published: (2015)

Random graph coloring and the instability
by: Akito Tsuboi
Published: (2024)

Deciding Termination of Simple Randomized Loops
by: Meyer, Éléanore, et al.
Published: (2025)

Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
by: Carl, Merlin
Published: (2015)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
by: Kassing, Jan-Christoph, et al.
Published: (2026)

Empirical Impact of Dimensionality on Random Geometric SAT
by: Rädiker, Flora
Published: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
by: Zeyen, Olivier, et al.
Published: (2025)

Impact and Performance of Randomized Test-Generation using Prolog
by: Gelderie, Marcus, et al.
Published: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview
by: Antonelli, Melissa, et al.
Published: (2024)

Resolving Nondeterminism with Randomness
by: Henzinger, Thomas A., et al.
Published: (2025)

Sequence and Consequence
by: Dorr, Cian, et al.
Published: (2024)

Von Neumann Entropy and Quantum Algorithmic Randomness
by: Bhojraj, Tejas
Published: (2024)

A Demonic Outcome Logic for Randomized Nondeterminism
by: Zilberstein, Noam, et al.
Published: (2024)

Maximal Prikry Sequences
by: Schimmerling, Ernest, et al.
Published: (2026)

On the Asymptotic Behavior of Guessing Sequences
by: Benhamou, Tom, et al.
Published: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

Interpreting Lambda Calculus in Domain-Valued Random Variables
by: Furber, Robert, et al.
Published: (2021)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
by: Baldwin, John, et al.
Published: (2024)

Randomness versus superspeedability
by: Hölzl, Rupert, et al.
Published: (2024)

Random Deterministic Automata With One Added Transition
by: Carayol, Arnaud, et al.
Published: (2024)

Are Large Random Graphs Always Safe to Hide?
by: Chakraborty, Sourav, et al.
Published: (2025)

Circuit Representations of Random Forests with Applications to XAI
by: Ji, Chunxi, et al.
Published: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
by: Katz, Jediah, et al.
Published: (2024)

Random Graph Generation in Context-Free Graph Languages
by: Vastarini, Federico, et al.
Published: (2024)

Random state comonads encode cellular automata evaluation
by: Sas, Madalina I, et al.
Published: (2025)

Normality, Relativization, and Randomness
by: Calvert, Wesley, et al.
Published: (2023)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
by: Kura, Satoshi
Published: (2023)

Element-Free Probability Distributions and Random Partitions
by: Blanchi, Victor, et al.
Published: (2024)

Simulation of Random LR Fuzzy Intervals
by: Romaniuk, Maciej, et al.
Published: (2025)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)