Copertina

Reversible Computation with Stacks and "Reversible Management of Failures"

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Palazzo, Matteo, Roversi, Luca
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Computational Complexity Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards a Characterization of Two-way Bijections in a Reversible Computational Model
di: Palazzo, Matteo, et al.
Pubblicazione: (2025)

Algorithmically Expressive, Always-Terminating Model for Reversible Computation
di: Palazzo, Matteo, et al.
Pubblicazione: (2024)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

LFPL: Revisited and Mechanized
di: Glover, Nathaniel, et al.
Pubblicazione: (2026)

Complete and tractable machine-independent characterizations of second-order polytime
di: Hainry, Emmanuel, et al.
Pubblicazione: (2022)

Program Synthesis is $Σ_3^0$-Complete
di: Kim, Jinwoo
Pubblicazione: (2024)

The Power of Negation in Higher-Order Datalog
di: Charalambidis, Angelos, et al.
Pubblicazione: (2025)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
di: Colledan, Andrea, et al.
Pubblicazione: (2024)

Cyclic Proofs in Hoare Logic and its Reverse
di: Brotherston, James, et al.
Pubblicazione: (2025)

revTPL: The Reversible Temporal Process Language
di: Bocchi, Laura, et al.
Pubblicazione: (2022)

Counting and Sampling Traces in Regular Languages
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
di: Halftermeyer, Pierre
Pubblicazione: (2026)

A faster FPRAS for #NFA
di: Meel, Kuldeep S., et al.
Pubblicazione: (2023)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
di: de Vilhena, Paulo Emílio, et al.
Pubblicazione: (2021)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
di: Barile, Adriano, et al.
Pubblicazione: (2024)

A Reversible Semantics for Janus
di: Lanese, Ivan, et al.
Pubblicazione: (2026)

Non-commutative linear logic fragments with sub-context-free complexity
di: Nishimiya, Yusaku, et al.
Pubblicazione: (2025)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
di: Lemonnier, Louis
Pubblicazione: (2024)

Logic and Computation through the Lens of Semirings
di: Barlag, Timon, et al.
Pubblicazione: (2025)

Specification and Automatic Verification of Computational Reductions
di: Grange, Julien, et al.
Pubblicazione: (2024)

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

Effective Versions of Strong Measure Zero
di: Rayman, Matthew
Pubblicazione: (2025)

On the consistency of stronger lower bounds for NEXP
di: Thapen, Neil
Pubblicazione: (2025)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
di: Nechesov, Andrey
Pubblicazione: (2024)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

An order out of nowhere: a new algorithm for infinite-domain CSPs
di: Mottet, Antoine, et al.
Pubblicazione: (2023)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Parallelism and Adaptivity in Student-Teacher Witnessing
di: Ježil, Ondřej, et al.
Pubblicazione: (2026)

The complete classification for quantified equality constraints
di: Zhuk, Dmitriy, et al.
Pubblicazione: (2021)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
di: Atserias, Albert, et al.
Pubblicazione: (2024)

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

Proto-Quipper with Reversing and Control
di: Fu, Peng, et al.
Pubblicazione: (2024)

The Expressive Power of Transformers with Chain of Thought
di: Merrill, William, et al.
Pubblicazione: (2023)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
di: Cuteri, Andrea, et al.
Pubblicazione: (2026)

Complexity of Consistency Testing for the Release-Acquire Semantics
di: Govind, R., et al.
Pubblicazione: (2026)

Crash-Stop Failures in Asynchronous Multiparty Session Types
di: Barwell, Adam D., et al.
Pubblicazione: (2023)

A Framework for Universality in Physics, Computer Science, and Beyond
di: Gonda, Tomáš, et al.
Pubblicazione: (2023)