The following pages link to Hans-Jürgen Bürckert (Q582271):
Displaying 14 items.
- Matching - a special case of unification? (Q582272) (← links)
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- A resolution principle for a logic with restricted quantifiers (Q1596540) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- (Q3750143) (← links)
- (Q3779785) (← links)
- (Q3786017) (← links)
- (Q3818292) (← links)
- On solving equations and disequations (Q4310836) (← links)
- Reasoning about temporal relations (Q4369856) (← links)
- (Q4867026) (← links)
- (Q6488530) (← links)
