Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2411.00149 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Probabilistic Nets-within-Nets
by: Köhler-Bußmeier, Michael
Published: (2024)
by: Köhler-Bußmeier, Michael
Published: (2024)
Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)
by: Schewe, Klaus-Dieter
Published: (2020)
A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)
by: Buss, Sam, et al.
Published: (2025)
Axiomatizing NFAs Generated by Regular Grammars
by: Gorrieri, Roberto
Published: (2024)
by: Gorrieri, Roberto
Published: (2024)
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
by: Adsul, Bharat, et al.
Published: (2024)
by: Adsul, Bharat, et al.
Published: (2024)
Place Bisimilarity is Decidable, Indeed!
by: Gorrieri, Roberto
Published: (2021)
by: Gorrieri, Roberto
Published: (2021)
On Equivalent Characterizations of NP in Abstract Models of Computation
by: Kirn, Jeremy C., et al.
Published: (2025)
by: Kirn, Jeremy C., et al.
Published: (2025)
Algebra of Self-Replication
by: Moss, Lawrence S.
Published: (2023)
by: Moss, Lawrence S.
Published: (2023)
Commutative N-polyregular functions
by: Lopez, Aliaume
Published: (2024)
by: Lopez, Aliaume
Published: (2024)
On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)
by: Krajicek, Jan
Published: (2022)
Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)
by: Gorrieri, Roberto, et al.
Published: (2025)
Extended Nullstellensatz proof systems
by: Krajicek, Jan
Published: (2023)
by: Krajicek, Jan
Published: (2023)
$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
by: Salvadori, Daniel Augusto Rizzi
Published: (2025)
by: Salvadori, Daniel Augusto Rizzi
Published: (2025)
Reversible computations are computations
by: Aubert, Clément, et al.
Published: (2025)
by: Aubert, Clément, et al.
Published: (2025)
The Algebra of Nondeterministic Finite Automata
by: Gorrieri, Roberto
Published: (2023)
by: Gorrieri, Roberto
Published: (2023)
Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
by: Ding, Sichen, et al.
Published: (2026)
by: Ding, Sichen, et al.
Published: (2026)
Learning Closed Signal Flow Graphs
by: Piotrovskaya, Ekaterina, et al.
Published: (2024)
by: Piotrovskaya, Ekaterina, et al.
Published: (2024)
Computability of Initial Value Problems
by: Brattka, Vasco, et al.
Published: (2024)
by: Brattka, Vasco, et al.
Published: (2024)
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
by: Li, Zihao, et al.
Published: (2026)
by: Li, Zihao, et al.
Published: (2026)
On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
Simulating and model checking membrane systems using strategies in Maude
by: Rubio, Rubén, et al.
Published: (2024)
by: Rubio, Rubén, et al.
Published: (2024)
Bishop's (up)crossing inequality and lower semicomputable random reals revisited
by: Andreev, Mikhail, et al.
Published: (2025)
by: Andreev, Mikhail, et al.
Published: (2025)
Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
by: Huseynzade, Rafig
Published: (2025)
by: Huseynzade, Rafig
Published: (2025)
Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
by: von Liechtenstein, Maximilian R. P.
Published: (2025)
by: von Liechtenstein, Maximilian R. P.
Published: (2025)
Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)
by: The bbchallenge Collaboration, et al.
Published: (2025)
Relative Constructibility via Generalised Sequential Algorithms
by: Lau, Desmond
Published: (2024)
by: Lau, Desmond
Published: (2024)
A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)
by: Latkin, Ivan V.
Published: (2023)
Monitoring Hyperproperties over Observed and Constructed Traces
by: Chalupa, Marek, et al.
Published: (2025)
by: Chalupa, Marek, et al.
Published: (2025)
Graded Monads in the Semantics of Nominal Automata
by: Schulze, Hannes, et al.
Published: (2025)
by: Schulze, Hannes, et al.
Published: (2025)
Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)
by: Pollett, Chris
Published: (2025)
Strategies, model checking and branching-time properties in Maude
by: Rubio, Rubén, et al.
Published: (2024)
by: Rubio, Rubén, et al.
Published: (2024)
Model checking strategy-controlled systems in rewriting logic
by: Rubio, Rubén, et al.
Published: (2024)
by: Rubio, Rubén, et al.
Published: (2024)
Metalevel transformation of strategies
by: Rubio, Rubén, et al.
Published: (2024)
by: Rubio, Rubén, et al.
Published: (2024)
Principal Types as Partial Involutions
by: Honsell, Furio, et al.
Published: (2024)
by: Honsell, Furio, et al.
Published: (2024)
Graded Monad Coalgebras for Continuous-Time Transition Systems
by: Di Lavore, Elena, et al.
Published: (2026)
by: Di Lavore, Elena, et al.
Published: (2026)
Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
by: Alpay, Faruk, et al.
Published: (2025)
by: Alpay, Faruk, et al.
Published: (2025)
The Impact of Partial Computations on the Red-Blue Pebble Game
by: Papp, Pál András, et al.
Published: (2025)
by: Papp, Pál András, et al.
Published: (2025)
Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
by: Böhnlein, Toni, et al.
Published: (2024)
by: Böhnlein, Toni, et al.
Published: (2024)
The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
Descriptive complexity for neural networks via Boolean networks
by: Ahvonen, Veeti, et al.
Published: (2023)
by: Ahvonen, Veeti, et al.
Published: (2023)