Andrew M. Marshall

Available identifiers

Publication	Date of Publication	Type
Knowledge problems in security protocols: going beyond subterm convergent theories	2024-10-21	Paper
Combined hierarchical matching: the regular case	2024-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q6191017	2024-02-08	Paper
Non-disjoint combined unification and closure by equational paramodulation	2022-03-24	Paper
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems	2022-03-24	Paper
Terminating non-disjoint combined unification	2022-03-23	Paper
Computing knowledge in equational extensions of subterm convergent theories	2020-12-08	Paper
On asymmetric unification for the theory of XOR with a homomorphism	2020-05-13	Paper
Rule-based unification in combined theories and the finite variant property	2019-12-04	Paper
Notions of knowledge in combinations of theories sharing constructors	2017-09-22	Paper
Unification and Matching in Hierarchical Combinations of Syntactic Theories	2017-02-27	Paper
Unification over distributive exponentiation (sub)theories	2016-09-29	Paper
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry	2015-08-25	Paper
On Asymmetric Unification and the Combination Problem in Disjoint Theories	2014-04-16	Paper
Hierarchical Combination	2013-06-14	Paper
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants	2012-09-05	Paper

This page was built for person: Andrew M. Marshall