The following pages link to Anatoli Degtyarev (Q671658):
Displaying 27 items.
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- What you always wanted to know about rigid \(E\)-unification (Q1382154) (← links)
- Stratified resolution (Q1404977) (← links)
- (Q2723432) (← links)
- (Q2751355) (← links)
- (Q2751362) (← links)
- (Q2751545) (← links)
- Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics (Q2949705) (← links)
- (Q3129297) (← links)
- A note on semantics of logic programs with equality based on complete sets of E-unifiers (Q3129511) (← links)
- (Q3214439) (← links)
- (Q3309805) (← links)
- On Arbitrary Selection Strategies for Basic Superposition (Q3533118) (← links)
- (Q3782836) (← links)
- (Q3782837) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- (Q3838767) (← links)
- (Q4471536) (← links)
- On nature and structure of atmospheric circulation anomalies in opposite seasons (Q4709708) (← links)
- (Q4790398) (← links)
- (Q4938416) (← links)
- What you always wanted to know about rigid E-unification (Q5235253) (← links)
- Regular Derivations in Basic Superposition-Based Calculi (Q5387846) (← links)
- (Q5659071) (← links)
- (Q5683720) (← links)
- Consistency and semantics of equational definitions over predefined algebras (Q5881176) (← links)
- Simultaneous rigid E-unification is undecidable (Q6560168) (← links)
