:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Rabinovich, Alexander, Fattal, Daniel
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2404.04782
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Decidability of MSO Reparameterization over Countable Chains
di: Rabinovich, Alexander
Pubblicazione: (2026)

Synthesis of Infinite State Systems
di: Drucker, Ohad, et al.
Pubblicazione: (2025)

More Church-Rosser Proofs in BELUGA
di: Momigliano, Alberto, et al.
Pubblicazione: (2024)

Implication Problems over Positive Semirings
di: Hirvonen, Minna
Pubblicazione: (2025)

The Discontinuity Problem
di: Brattka, Vasco
Pubblicazione: (2020)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
di: Alrahman, Yehia Abd, et al.
Pubblicazione: (2025)

Many-valued coalgebraic logic over semi-primal varieties
di: Kurz, Alexander, et al.
Pubblicazione: (2023)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
di: Balasubramanian, A. R.
Pubblicazione: (2024)

The Proof Analysis Problem
di: Arteche, Noel, et al.
Pubblicazione: (2025)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
di: Ayhan, Sara
Pubblicazione: (2025)

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
di: Nagy, Tomáš, et al.
Pubblicazione: (2024)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
di: Xu, Ming, et al.
Pubblicazione: (2022)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

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

Logical Approaches to Non-deterministic Polynomial Time over Semirings
di: Barlag, Timon, et al.
Pubblicazione: (2025)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
di: Spork, Timm, et al.
Pubblicazione: (2025)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
di: Katsura, Hiroyuki, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Support is Search
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
di: André, Étienne, et al.
Pubblicazione: (2023)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
di: Nantes-Sobrinho, Daniele, et al.
Pubblicazione: (2025)

Verifying Solutions to Semantics-Guided Synthesis Problems
di: Murphy, Charlie, et al.
Pubblicazione: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
di: Zhuk, Dmitriy
Pubblicazione: (2024)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
di: Gaßner, Christine
Pubblicazione: (2025)

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

On Problems Dual to Unification: The String-Rewriting Case
di: Akçam, Zümrüt, et al.
Pubblicazione: (2021)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Network Satisfaction Problems Solved by k-Consistency
di: Bodirsky, Manuel, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Countability constraints in order-theoretic approaches to computability
di: Hack, Pedro, et al.
Pubblicazione: (2022)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
di: Xiao, Shengping, et al.
Pubblicazione: (2024)