Cover Image

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bunch, Carter, Satterfield, Saraid Dwyer, Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
by: Barbosa, Haniel, et al.
Published: (2025)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, et al.
Published: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
by: Heyninck, Jesse
Published: (2024)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
by: Santo, José Espírito, et al.
Published: (2022)

Property Directed Reachability with Extended Resolution
by: Luka, Andrew, et al.
Published: (2025)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

The Discontinuity Problem
by: Brattka, Vasco
Published: (2020)

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
by: Dudenhefner, Andrej
Published: (2022)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Temporal Hyperproperties for Population Protocols
by: Waldburger, Nicolas, et al.
Published: (2024)

Synthesising Full-Information Protocols
by: Berwanger, Dietmar, et al.
Published: (2023)

On Problems Dual to Unification: The String-Rewriting Case
by: Akçam, Zümrüt, et al.
Published: (2021)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

Intuitionistic BV (Extended version)
by: Acclavio, Matteo, et al.
Published: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
by: Carette, TItouan, et al.
Published: (2022)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
by: Egolf, Derek, et al.
Published: (2024)

Wait-Only Broadcast Protocols are Easier to Verify
by: Guillou, Lucie, et al.
Published: (2025)

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

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
by: Egolf, Derek, et al.
Published: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
by: Zeyen, Olivier, et al.
Published: (2025)

Extending CDCL-based Model Enumeration with Weights
by: Spallitta, Giuseppe, et al.
Published: (2026)

Equivalence of Halting Problem to Convergence of Power Series
by: Fernandes, Antonio Joaquim
Published: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
by: Balasubramanian, A. R., et al.
Published: (2020)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
by: Bargmann, Lara, et al.
Published: (2026)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
by: Preiner, Mathias, et al.
Published: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
by: Winkler, Sarah
Published: (2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2025)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
by: Achammer, Fabian, et al.
Published: (2025)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)