Image de couverture de livre

Reversible computations are computations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Aubert, Clément, Krivine, Jean
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Logic 68Q85, 03B70, 68N19 F.1.1; F.1.2; F.3.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A propositional cirquent calculus for computability logic
par: Japaridze, Giorgi
Publié: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
par: Japaridze, Giorgi
Publié: (2026)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
par: Forster, Jonas, et autres
Publié: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
par: Ramos, Arthur, et autres
Publié: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
par: Gorrieri, Roberto, et autres
Publié: (2025)

Behavioural Conformances based on Lax Couplings
par: Wild, Paul, et autres
Publié: (2025)

Conformance Games for Graded Semantics
par: Forster, Jonas, et autres
Publié: (2024)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
par: Li, Zihao, et autres
Publié: (2026)

A correspondence between the time and space complexity
par: Latkin, Ivan V.
Publié: (2023)

Place Bisimilarity is Decidable, Indeed!
par: Gorrieri, Roberto
Publié: (2021)

Matching logic -- a new axiomatization
par: Leuştean, Laurenţiu, et autres
Publié: (2025)

Notes on applicative matching logic
par: Leuştean, Laurenţiu
Publié: (2025)

Compositionality in Coalgebraic Trace Semantics
par: Jourde, Robin, et autres
Publié: (2026)

Relational Connectors and Heterogeneous Bisimulations
par: Nora, Pedro, et autres
Publié: (2024)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
par: Alpay, Faruk, et autres
Publié: (2025)

Graded Monads in the Semantics of Nominal Automata
par: Schulze, Hannes, et autres
Publié: (2025)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
par: Martinez-Rivillas, Daniel O., et autres
Publié: (2026)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
par: Ceragioli, Lorenzo, et autres
Publié: (2026)

Thoughts on sub-Turing interactive computability
par: Japaridze, Giorgi
Publié: (2024)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

Dependence and Independence for Reversible Process Calculi
par: Aubert, Clément, et autres
Publié: (2024)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
par: Ding, Sichen, et autres
Publié: (2026)

Commutative N-polyregular functions
par: Lopez, Aliaume
Publié: (2024)

On the Realizability of Prime Conjectures in Heyting Arithmetic
par: Rosko, Milan
Publié: (2025)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

Computability of Initial Value Problems
par: Brattka, Vasco, et autres
Publié: (2024)

On the existence of strong proof complexity generators
par: Krajicek, Jan
Publié: (2022)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
par: Park, Sewon, et autres
Publié: (2016)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
par: Bruse, Florian, et autres
Publié: (2026)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
par: Alpay, Faruk, et autres
Publié: (2025)

On Equivalent Characterizations of NP in Abstract Models of Computation
par: Kirn, Jeremy C., et autres
Publié: (2025)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
par: Pradic, Cécilia
Publié: (2024)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

The Algebra of Nondeterministic Finite Automata
par: Gorrieri, Roberto
Publié: (2023)

The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
par: Santacana, Andreu Ballus
Publié: (2025)

An Expressive Trace Logic for Recursive Programs
par: Gurov, Dilian, et autres
Publié: (2024)

A proof complexity conjecture and the Incompleteness theorem
par: Krajicek, Jan
Publié: (2023)