The following pages link to Andrew M. Marshall (Q831917):
Displaying 15 items.
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems (Q831949) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- On asymmetric unification for the theory of XOR with a homomorphism (Q2180236) (← links)
- Rule-based unification in combined theories and the finite variant property (Q2278291) (← links)
- Notions of knowledge in combinations of theories sharing constructors (Q2405240) (← links)
- (Q2819403) (← links)
- New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (Q2908511) (← links)
- On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry (Q2941759) (← links)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
- Hierarchical Combination (Q4928442) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (Q5410678) (← links)
- Combined hierarchical matching: the regular case (Q6544098) (← links)
- Knowledge problems in security protocols: going beyond subterm convergent theories (Q6622075) (← links)
