:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Porter, Christopher P.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2403.04047
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
von: Porter, Christopher P.
Veröffentlicht: (2024)

Randomness via infinite computation and effective descriptive set theory
von: Carl, Merlin, et al.
Veröffentlicht: (2016)

Algorithmic Randomness in Continuous-Time Markov Chains
von: Huang, Xiang, et al.
Veröffentlicht: (2019)

Algorithmic Randomness for Infinite Time Register Machines
von: Carl, Merlin
Veröffentlicht: (2014)

Simple Models of Randomization and Preservation Theorems
von: Khanaki, Karim, et al.
Veröffentlicht: (2024)

Randomness and Degree Theory for Infinite Time Register Machines
von: Carl, Merlin
Veröffentlicht: (2015)

Random graph coloring and the instability
von: Akito Tsuboi
Veröffentlicht: (2024)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
von: Carl, Merlin
Veröffentlicht: (2015)

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

Empirical Impact of Dimensionality on Random Geometric SAT
von: Rädiker, Flora
Veröffentlicht: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
von: Zeyen, Olivier, et al.
Veröffentlicht: (2025)

Impact and Performance of Randomized Test-Generation using Prolog
von: Gelderie, Marcus, et al.
Veröffentlicht: (2025)

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

On Randomized Computational Models and Complexity Classes: a Historical Overview
von: Antonelli, Melissa, et al.
Veröffentlicht: (2024)

Resolving Nondeterminism with Randomness
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Sequence and Consequence
von: Dorr, Cian, et al.
Veröffentlicht: (2024)

Von Neumann Entropy and Quantum Algorithmic Randomness
von: Bhojraj, Tejas
Veröffentlicht: (2024)

A Demonic Outcome Logic for Randomized Nondeterminism
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Maximal Prikry Sequences
von: Schimmerling, Ernest, et al.
Veröffentlicht: (2026)

On the Asymptotic Behavior of Guessing Sequences
von: Benhamou, Tom, et al.
Veröffentlicht: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
von: Li, Jinzhao, et al.
Veröffentlicht: (2026)

Cut-free Deductive System for Continuous Intuitionistic Logic
von: Geoffroy, Guillaume
Veröffentlicht: (2025)

Interpreting Lambda Calculus in Domain-Valued Random Variables
von: Furber, Robert, et al.
Veröffentlicht: (2021)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
von: Baldwin, John, et al.
Veröffentlicht: (2024)

Randomness versus superspeedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

Random Deterministic Automata With One Added Transition
von: Carayol, Arnaud, et al.
Veröffentlicht: (2024)

Are Large Random Graphs Always Safe to Hide?
von: Chakraborty, Sourav, et al.
Veröffentlicht: (2025)

Circuit Representations of Random Forests with Applications to XAI
von: Ji, Chunxi, et al.
Veröffentlicht: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
von: Katz, Jediah, et al.
Veröffentlicht: (2024)

Random Graph Generation in Context-Free Graph Languages
von: Vastarini, Federico, et al.
Veröffentlicht: (2024)

Random state comonads encode cellular automata evaluation
von: Sas, Madalina I, et al.
Veröffentlicht: (2025)

Normality, Relativization, and Randomness
von: Calvert, Wesley, et al.
Veröffentlicht: (2023)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
von: Kura, Satoshi
Veröffentlicht: (2023)

Element-Free Probability Distributions and Random Partitions
von: Blanchi, Victor, et al.
Veröffentlicht: (2024)

Simulation of Random LR Fuzzy Intervals
von: Romaniuk, Maciej, et al.
Veröffentlicht: (2025)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
von: Jana, Purbita, et al.
Veröffentlicht: (2025)