Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Subjects: | |
| Online Access: | https://doi.org/10.5281/zenodo.15676829 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On the Set-Representable Orthomodular Posets that are Point-Distinguishing
by: Burešová, Dominika, et al.
Published: (2024)
by: Burešová, Dominika, et al.
Published: (2024)
A background independent notion of causality
by: Capolupo, Antonio, et al.
Published: (2023)
by: Capolupo, Antonio, et al.
Published: (2023)
Four negations and the spectral presheaf
by: Engel, Benjamin, et al.
Published: (2026)
by: Engel, Benjamin, et al.
Published: (2026)
Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
by: Letouzey, Pierre
Published: (2025)
by: Letouzey, Pierre
Published: (2025)
Limit models in strictly stable abstract elementary classes
by: Will Boney, et al.
Published: (2024)
by: Will Boney, et al.
Published: (2024)
The Batesonian Completeness Conjecture: A Universal Framework for Mathematical Resolution via Recursive Type Arithmetic and Frame Ecology
by: Kevin Fathi
Published: (2025)
by: Kevin Fathi
Published: (2025)
Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)
by: Feller, Thomas, et al.
Published: (2023)
Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic
by: Werbow, Jesse
Published: (2024)
by: Werbow, Jesse
Published: (2024)
The universal logic of repeated experiments
by: Grillo, Sergio Daniel
Published: (2025)
by: Grillo, Sergio Daniel
Published: (2025)
Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)
by: Lombardi, Henri, et al.
Published: (2024)
A Framework for Universality in Physics, Computer Science, and Beyond
by: Gonda, Tomáš, et al.
Published: (2023)
by: Gonda, Tomáš, et al.
Published: (2023)
Tame Complexity of Effective Field Theories in the Quantum Gravity Landscape
by: Grimm, Thomas W., et al.
Published: (2026)
by: Grimm, Thomas W., et al.
Published: (2026)
LeanBET: Formally-verified surface area calculations in Lean
by: Ugwuanyi, Ejike D., et al.
Published: (2026)
by: Ugwuanyi, Ejike D., et al.
Published: (2026)
On one-parameter families of hermiticity-preserving superoperators which are not positive
by: Pastuszak, Grzegorz, et al.
Published: (2024)
by: Pastuszak, Grzegorz, et al.
Published: (2024)
Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds
by: Tranquilli, Julius, et al.
Published: (2025)
by: Tranquilli, Julius, et al.
Published: (2025)
A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)
by: Fuchser, Janne, et al.
Published: (2025)
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)
by: Lyon, Tim S.
Published: (2022)
Logic-based analogical proportions
by: Antić, Christian
Published: (2024)
by: Antić, Christian
Published: (2024)
Advances in Proof-Theoretic Semantics
Published: (2018)
Published: (2018)
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
by: Carette, Titouan, et al.
Published: (2025)
by: Carette, Titouan, et al.
Published: (2025)
Logic of the Great, Logic of the Wise 2
by: Fedorchenko, Mikhail
Published: (2026)
by: Fedorchenko, Mikhail
Published: (2026)
Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)
by: Bonnet, Édouard, et al.
Published: (2025)
Epsilon-saturation for stable graphs and Littlestone classes
by: Malliaris, Maryanthe, et al.
Published: (2025)
by: Malliaris, Maryanthe, et al.
Published: (2025)
Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
by: Mählmann, Nikolas
Published: (2025)
by: Mählmann, Nikolas
Published: (2025)
Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)
by: Siebertz, Sebastian, et al.
Published: (2024)
Existential Positive Transductions of Sparse Graphs
by: Mählmann, Nikolas, et al.
Published: (2026)
by: Mählmann, Nikolas, et al.
Published: (2026)
Characterizations of monadically dependent tree-ordered weakly sparse structures
by: Buffière, Hector, et al.
Published: (2026)
by: Buffière, Hector, et al.
Published: (2026)
Decomposition horizons and a characterization of stable hereditary classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)
by: Braunfeld, Samuel, et al.
Published: (2022)
On first-order transductions of classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)
by: Braunfeld, Samuel, et al.
Published: (2022)
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
by: Dreier, Jan, et al.
Published: (2024)
by: Dreier, Jan, et al.
Published: (2024)
Graph Homomorphisms and Universal Algebra
by: Bodirsky, Manuel
Published: (2026)
by: Bodirsky, Manuel
Published: (2026)
The Logical Structure of Physical Laws: A Fixed Point Reconstruction
by: Küçük, Eren Volkan
Published: (2025)
by: Küçük, Eren Volkan
Published: (2025)
Coherence Theory in Higher Identity Types Analytical Formalization of the Gnomonic Computation Model
by: Lombardi, Roberto
Published: (2026)
by: Lombardi, Roberto
Published: (2026)
Analogical proportions II
by: Antić, Christian
Published: (2024)
by: Antić, Christian
Published: (2024)
First order complexity of finite random structures
by: Demin, Danila, et al.
Published: (2024)
by: Demin, Danila, et al.
Published: (2024)
Robust No-Arbitrage under Projective Determinacy
by: Boistard, Alexandre, et al.
Published: (2025)
by: Boistard, Alexandre, et al.
Published: (2025)