:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tsukada, Takeshi, Asada, Kazuyuki, Hirata, Kengo
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2604.26829
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Profunctorial Semantics for Quantum Supermaps
par: Hefford, James, et autres
Publié: (2024)

On Higher-Order Reachability Games vs May Reachability
par: Asada, Kazuyuki, et autres
Publié: (2022)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
par: Kura, Satoshi, et autres
Publié: (2025)

Profunctorial algebras
par: Aristote, Quentin, et autres
Publié: (2026)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
par: Tsukada, Takeshi, et autres
Publié: (2025)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
par: Matsushita, Yusuke, et autres
Publié: (2025)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Definability and Interpolation in Philosophy
par: van Benthem, Johan
Publié: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
par: Wang, Shanxia
Publié: (2026)

Choiceless Computation and Symmetry: Limitations of Definability
par: Pago, Benedikt
Publié: (2024)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
par: Bowler, Nathan, et autres
Publié: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
par: Jung, Jean Christoph, et autres
Publié: (2025)

Synthesising Full-Information Protocols
par: Berwanger, Dietmar, et autres
Publié: (2023)

Non-strongly Stable Orders Also Define Interesting Simulation Relations
par: Fábregas, Ignacio, et autres
Publié: (2024)

On the Number of Quantifiers Needed to Define Boolean Functions
par: Carmosino, Marco, et autres
Publié: (2024)

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
par: Nishiyama, Yumiko
Publié: (2025)

Proof Nets for PiL (Full Version)
par: Acclavio, Matteo, et autres
Publié: (2026)

Unification of Deterministic Higher-Order Patterns (Full Version)
par: Niederhauser, Johannes, et autres
Publié: (2026)

Learning Aggregate Queries Defined by First-Order Logic with Counting
par: van Bergerem, Steffen, et autres
Publié: (2024)

A Hoare Logic for Domain Specification (Full Version)
par: Kamburjan, Eduard, et autres
Publié: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
par: Heim, Philippe, et autres
Publié: (2026)

Localized Attractor Computations for Infinite-State Games (Full Version)
par: Schmuck, Anne-Kathrin, et autres
Publié: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
par: Bogaerts, Bart, et autres
Publié: (2022)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
par: Schöpf, Jonas, et autres
Publié: (2023)

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
par: Guelev, Dimitar P.
Publié: (2025)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
par: Aoto, Takahito, et autres
Publié: (2026)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
par: Aoto, Takahito, et autres
Publié: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
par: Takahata, Kanta, et autres
Publié: (2025)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
par: Kassing, Jan-Christoph, et autres
Publié: (2023)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
par: König, Barbara, et autres
Publié: (2025)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
par: Kassing, Jan-Christoph, et autres
Publié: (2024)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
par: Heim, Philippe, et autres
Publié: (2024)

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
par: Nishida, Naoki, et autres
Publié: (2025)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
par: Heuer, Jan, et autres
Publié: (2024)

Functions Definable by Numerical Set-Expressions
par: Pratt-Hartmann, Ian, et autres
Publié: (2009)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
par: Kassing, Jan-Christoph, et autres
Publié: (2024)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
par: Niederhauser, Johannes, et autres
Publié: (2025)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
par: Takahata, Kanta, et autres
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)