Pages that link to "Item:Q1400706"

The following pages link to Deciding the word problem in the union of equational theories. (Q1400706):

Displaying 9 items.

• Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
• Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
• Combining word problems through rewriting in categories with products (Q1398463) (← links)
• Deciding the word problem in the union of equational theories. (Q1400706) (← links)
• Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
• Automated verification of selected equivalences for security protocols (Q2474047) (← links)
• Canonization for disjoint unions of theories (Q2486580) (← links)
• On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)