Gespeichert in:
| Hauptverfasser: | Møgelberg, Rasmus Ejlers, Zwart, Maaike |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2311.15919 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Multi-clocked Guarded Recursion Beyond ω
von: Møgelberg, Rasmus Ejlers
Veröffentlicht: (2025)
von: Møgelberg, Rasmus Ejlers
Veröffentlicht: (2025)
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
von: Stassen, Philipp Jan Andries, et al.
Veröffentlicht: (2024)
von: Stassen, Philipp Jan Andries, et al.
Veröffentlicht: (2024)
Correspondence between Composite Theories and Distributive Laws
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)
Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)
Distributive Laws of Monadic Containers
von: Purdy, Chris, et al.
Veröffentlicht: (2025)
von: Purdy, Chris, et al.
Veröffentlicht: (2025)
The Monadic Theory of Toric Words
von: Berthé, Valérie, et al.
Veröffentlicht: (2023)
von: Berthé, Valérie, et al.
Veröffentlicht: (2023)
Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)
On the Decidability of Monadic Theories of Arithmetic Predicates
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)
Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)
von: Ford, Chase, et al.
Veröffentlicht: (2022)
From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)
von: Cohen, Liron, et al.
Veröffentlicht: (2025)
The Parameterized Complexity of Learning Monadic Second-Order Logic
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2023)
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2023)
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
von: Kudasov, Nikolai
Veröffentlicht: (2022)
von: Kudasov, Nikolai
Veröffentlicht: (2022)
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
von: Goncharov, Sergey
Veröffentlicht: (2024)
von: Goncharov, Sergey
Veröffentlicht: (2024)
Tape Diagrams for Monoidal Monads
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)
The Formal Theory of Monads, Univalently
von: van der Weide, Niels
Veröffentlicht: (2022)
von: van der Weide, Niels
Veröffentlicht: (2022)
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)
von: Dreier, Jan, et al.
Veröffentlicht: (2024)
Handling the Selection Monad (Full Version)
von: Plotkin, Gordon, et al.
Veröffentlicht: (2025)
von: Plotkin, Gordon, et al.
Veröffentlicht: (2025)
Stone Duality for Monads
von: Garner, Richard, et al.
Veröffentlicht: (2026)
von: Garner, Richard, et al.
Veröffentlicht: (2026)
A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
von: Affeldt, Reynald, et al.
Veröffentlicht: (2023)
von: Affeldt, Reynald, et al.
Veröffentlicht: (2023)
The Only Distributive Law Over the Powerset Monad Is the One You Know
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)
Monadic Intersection Types, Relationally (Extended Version)
von: Gavazzo, Francesco, et al.
Veröffentlicht: (2024)
von: Gavazzo, Francesco, et al.
Veröffentlicht: (2024)
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)
Smart Choices and the Selection Monad
von: Abadi, Martin, et al.
Veröffentlicht: (2020)
von: Abadi, Martin, et al.
Veröffentlicht: (2020)
Monads and Distributive Laws in Substructural Contexts (Extended Version)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2026)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2026)
Demystifying Codensity Monads via Duality
von: Lenke, Fabian, et al.
Veröffentlicht: (2025)
von: Lenke, Fabian, et al.
Veröffentlicht: (2025)
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)
Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2024)
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2024)
Strong Dinatural Transformations and Generalised Codensity Monads
von: Piróg, Maciej, et al.
Veröffentlicht: (2025)
von: Piróg, Maciej, et al.
Veröffentlicht: (2025)
Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
von: Iosif, Radu, et al.
Veröffentlicht: (2023)
von: Iosif, Radu, et al.
Veröffentlicht: (2023)
Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)
Why Cannot Large Language Models Ever Make True Correct Reasoning?
von: Cheng, Jingde
Veröffentlicht: (2025)
von: Cheng, Jingde
Veröffentlicht: (2025)
Graded Monad Coalgebras for Continuous-Time Transition Systems
von: Di Lavore, Elena, et al.
Veröffentlicht: (2026)
von: Di Lavore, Elena, et al.
Veröffentlicht: (2026)
Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
von: Gu, Rong
Veröffentlicht: (2024)
von: Gu, Rong
Veröffentlicht: (2024)
The Varieties of Ought-Implies-Can and Deontic STIT Logic
von: van Berkel, Kees, et al.
Veröffentlicht: (2026)
von: van Berkel, Kees, et al.
Veröffentlicht: (2026)
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
von: Peled, Romy, et al.
Veröffentlicht: (2025)
von: Peled, Romy, et al.
Veröffentlicht: (2025)
The Complexity of Games with Randomised Control
von: Bahmani, Sarvin, et al.
Veröffentlicht: (2026)
von: Bahmani, Sarvin, et al.
Veröffentlicht: (2026)
When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
von: Ho, Hsi-Ming, et al.
Veröffentlicht: (2024)
von: Ho, Hsi-Ming, et al.
Veröffentlicht: (2024)
Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)
von: Bilotta, Antonella
Veröffentlicht: (2025)
Ähnliche Einträge
-
Multi-clocked Guarded Recursion Beyond ω
von: Møgelberg, Rasmus Ejlers
Veröffentlicht: (2025) -
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025) -
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
von: Stassen, Philipp Jan Andries, et al.
Veröffentlicht: (2024) -
Correspondence between Composite Theories and Distributive Laws
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024) -
Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)