Pages that link to "Item:Q5286164"
From MaRDI portal
The following pages link to Automatic recognition of tractability in inference relations (Q5286164):
Displayed 25 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Deducibility constraints and blind signatures (Q462488) (← links)
- Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348) (← links)
- Automatic decidability and combinability (Q549666) (← links)
- Intruder deduction problem for locally stable theories with normal forms and inverses (Q683746) (← links)
- Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks (Q861696) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- Efficient representation of the attacker's knowledge in cryptographic protocols analysis (Q931442) (← links)
- Easy intruder deduction problems with homomorphisms (Q1045939) (← links)
- Algorithms and reductions for rewriting problems. II. (Q1853144) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Hierarchical combination of intruder theories (Q2482450) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- Deciding knowledge in security protocols under some e-voting theories (Q3095038) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- A strong version of Herbrand's theorem for introvert sentences (Q4212920) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- Constructing Bachmair-Ganzinger Models (Q4916082) (← links)
- On Combinations of Local Theory Extensions (Q4916087) (← links)
- EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS (Q5024507) (← links)
- The Complexity of Disjunction in Intuitionistic Logic (Q5283439) (← links)
- On Local Reasoning in Verification (Q5458332) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)