Buchumschlag

Algorithmic Problems for Computation Trees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Moshkov, Mikhail
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Programs Versus Finite Tree-Programs
von: Moshkov, Mikhail
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

Computing Witnesses Using the SCAN Algorithm
von: Achammer, Fabian, et al.
Veröffentlicht: (2026)

The Discontinuity Problem
von: Brattka, Vasco
Veröffentlicht: (2020)

On the Completeness of Interpolation Algorithms
von: Hetzl, Stefan, et al.
Veröffentlicht: (2024)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
von: Achammer, Fabian, et al.
Veröffentlicht: (2025)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
von: Ayhan, Sara
Veröffentlicht: (2025)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

MCAC: A Model Counting Algorithm for Exact Computation of Error Metrics of Approximate Circuits
von: Ramprasath, S, et al.
Veröffentlicht: (2024)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
von: Niwiński, Damian, et al.
Veröffentlicht: (2023)

SAT-based Learning of Computation Tree Logic
von: Pommellet, Adrien, et al.
Veröffentlicht: (2024)

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

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
von: Li, Yongming
Veröffentlicht: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
von: Kojima, Ryota, et al.
Veröffentlicht: (2025)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
von: George, Anne-Marie, et al.
Veröffentlicht: (2024)

Network Satisfaction Problems Solved by k-Consistency
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2023)

Logics and Algorithms for Hyperproperties
von: Finkbeiner, Bernd
Veröffentlicht: (2025)

Mathematical Informatics: Algorithms
von: Seiller, Thomas
Veröffentlicht: (2026)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Potential for Polynomial Solution for NP-Complete Problems using Quantum Computation
von: Badihian, Neema Rustin
Veröffentlicht: (2025)

$ω$-Regular Energy Problems
von: Dziadek, Sven, et al.
Veröffentlicht: (2022)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

Algorithmic Perspective on Toda's Theorem
von: Fried, Dror, et al.
Veröffentlicht: (2025)

Algorithms for Markov Binomial Chains
von: Gonzalez, Alejandro Alarcón, et al.
Veröffentlicht: (2024)

Computation and Concurrency
von: Wang, Yong
Veröffentlicht: (2024)

Implication Problems over Positive Semirings
von: Hirvonen, Minna
Veröffentlicht: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
von: Goldberg, Eugene
Veröffentlicht: (2024)

Compositional Reversible Computation
von: Carette, Jacques, et al.
Veröffentlicht: (2024)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
von: Bowler, Nathan, et al.
Veröffentlicht: (2025)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
von: Alrahman, Yehia Abd, et al.
Veröffentlicht: (2025)