Imagen de Portada

Deciding Equations in the Time Warp Algebra

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	van Gool, Sam, Guatto, Adrien, Metcalfe, George, Santschi, Simon
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Interpolation and the Exchange Rule
por: Fussner, Wesley, et al.
Publicado: (2023)

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Dynamic Probability Logic: Decidability & Computability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

Decidability for Sturmian words
por: Hieronymi, Philipp, et al.
Publicado: (2021)

Equational theories of idempotent semifields
por: Metcalfe, George, et al.
Publicado: (2024)

Profinite lambda-terms and parametricity
por: van Gool, Sam, et al.
Publicado: (2023)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

Interpolation above S4
por: Santschi, Simon, et al.
Publicado: (2026)

Completeness of Relational Algebra via Cylindric Algebra
por: Laštovička, Jan
Publicado: (2026)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
por: Almeida, Rodrigo Nicolau
Publicado: (2023)

Measuring Decidability as Related to Busy Beaver Numbers
por: Tandi, Gurpreet, et al.
Publicado: (2026)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
por: Haase, Christoph, et al.
Publicado: (2024)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
por: Vialard, Isa
Publicado: (2025)

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
por: Lyon, Tim S.
Publicado: (2024)

On the Decidability of Monadic Theories of Arithmetic Predicates
por: Berthé, Valérie, et al.
Publicado: (2024)

Deciding Termination of Simple Randomized Loops
por: Meyer, Éléanore, et al.
Publicado: (2025)

On the Decidability of Presburger Arithmetic Expanded with Powers
por: Karimov, Toghrul, et al.
Publicado: (2024)

On Deciding Constant Runtime of Linear Loops
por: Frohn, Florian, et al.
Publicado: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
por: Barloy, Corentin, et al.
Publicado: (2025)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
por: Nakamura, Yoshiki
Publicado: (2025)

Craig Interpolation for Decidable First-Order Fragments
por: Cate, Balder ten, et al.
Publicado: (2023)

Decidability of MSO Reparameterization over Countable Chains
por: Rabinovich, Alexander
Publicado: (2026)

The 2-Dimensional Constraint Loop Problem is Decidable
por: Guilmant, Quentin, et al.
Publicado: (2024)

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
por: van Collem, Simcha, et al.
Publicado: (2025)

Deciding Predicate Logical Theories of Real-Valued Functions
por: Ratschan, Stefan
Publicado: (2023)

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

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
por: Su, Wanyun, et al.
Publicado: (2024)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
por: Li, Yongming
Publicado: (2025)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
por: Gamsakhurdia, Mariami, et al.
Publicado: (2025)

Decidability of Graph Neural Networks via Logical Characterizations
por: Benedikt, Michael, et al.
Publicado: (2024)

SAT-based Learning of Computation Tree Logic
por: Pommellet, Adrien, et al.
Publicado: (2024)

Speedability of computably approximable reals and their approximations
por: Barmpalias, George, et al.
Publicado: (2026)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
por: Kurucz, Agi, et al.
Publicado: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Deciding characteristic formulae: A journey in the branching-time spectrum
por: Aceto, Luca, et al.
Publicado: (2025)